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