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