Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is rough. Bob is round. Bob is young. Dave is blue. Dave is green. Dave is nice. Dave is rough. Dave is round. Dave is young. Erin is blue. Erin is green. Erin is nice. Round, green things are kind. If Erin is rough then Erin is round. All kind, young things are nice. Green things are rough. If something is rough and round then it is blue. All nice things are rough.
Erin is round.
@0: Bob is blue.[(triple1 OR ((triple5 triple6) -> rule5) OR ((((triple2) -> rule4) triple6) -> rule5) OR ((((triple4) -> rule6) triple6) -> rule5) OR ((((((triple3 triple7) -> rule3)) -> rule6) triple6) -> rule5) OR ((((((((triple6 triple2) -> rule1) triple7) -> rule3)) -> rule6) triple6) -> rule5))] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple6 triple2) -> rule1))] Bob is nice.[(triple4 OR ((triple3 triple7) -> rule3) OR ((((triple6 triple2) -> rule1) triple7) -> rule3))] Bob is rough.[(triple5 OR ((triple2) -> rule4) OR ((triple4) -> rule6) OR ((((triple3 triple7) -> rule3)) -> rule6) OR ((((((triple6 triple2) -> rule1) triple7) -> rule3)) -> rule6))] Bob is round.[(triple6)] Bob is young.[(triple7)] Dave is blue.[(triple8 OR ((triple11 triple12) -> rule5) OR ((((triple10) -> rule6) triple12) -> rule5) OR ((((triple9) -> rule4) triple12) -> rule5) OR ((((((((triple12 triple9) -> rule1) triple13) -> rule3)) -> rule6) triple12) -> rule5))] Dave is green.[(triple9)] Dave is nice.[(triple10 OR ((((triple12 triple9) -> rule1) triple13) -> rule3))] Dave is rough.[(triple11 OR ((triple10) -> rule6) OR ((triple9) -> rule4) OR ((((((triple12 triple9) -> rule1) triple13) -> rule3)) -> rule6))] Dave is round.[(triple12)] Dave is young.[(triple13)] Erin is blue.[(triple14 OR ((((triple15) -> rule4) ((((triple15) -> rule4)) -> rule2)) -> rule5) OR ((((triple15) -> rule4) ((((triple16) -> rule6)) -> rule2)) -> rule5) OR ((((triple16) -> rule6) ((((triple15) -> rule4)) -> rule2)) -> rule5) OR ((((triple16) -> rule6) ((((triple16) -> rule6)) -> rule2)) -> rule5))] Erin is green.[(triple15)] Erin is nice.[(triple16)] @1: Dave is kind.[(((triple12 triple9) -> rule1))] Erin is rough.[(((triple15) -> rule4) OR ((triple16) -> rule6))] @2: Erin is round.[(((((triple15) -> rule4)) -> rule2) OR ((((triple16) -> rule6)) -> rule2))] @3: Erin is kind.[(((((((triple15) -> rule4)) -> rule2) triple15) -> rule1) OR ((((((triple16) -> rule6)) -> rule2) triple15) -> rule1))]