Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. Fiona is blue. Fiona is green. Fiona is smart. Gary is quiet. Gary is rough. Gary is young. Harry is blue. Harry is green. Harry is quiet. Harry is smart. Harry is young. Quiet things are green. If something is blue then it is smart. Quiet things are green. If something is blue then it is smart. Young things are green. If something is green then it is blue.
Fiona is quiet.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4 OR ((((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((triple2) -> rule3)) -> rule6)) -> rule2) OR ((((((triple2) -> rule3)) -> rule6)) -> rule4))] Fiona is blue.[(triple5 OR ((triple6) -> rule6))] Fiona is green.[(triple6)] Fiona is smart.[(triple7 OR ((triple5) -> rule2) OR ((triple5) -> rule4) OR ((((triple6) -> rule6)) -> rule2) OR ((((triple6) -> rule6)) -> rule4))] Gary is quiet.[(triple8)] Gary is rough.[(triple9)] Gary is young.[(triple10)] Harry is blue.[(triple11 OR ((triple12) -> rule6) OR ((((triple13) -> rule1)) -> rule6) OR ((((triple13) -> rule3)) -> rule6) OR ((((triple15) -> rule5)) -> rule6))] Harry is green.[(triple12 OR ((triple13) -> rule1) OR ((triple13) -> rule3) OR ((triple15) -> rule5))] Harry is quiet.[(triple13)] Harry is smart.[(triple14 OR ((triple11) -> rule2) OR ((triple11) -> rule4) OR ((((triple12) -> rule6)) -> rule2) OR ((((triple12) -> rule6)) -> rule4) OR ((((((triple13) -> rule1)) -> rule6)) -> rule2) OR ((((((triple13) -> rule1)) -> rule6)) -> rule4) OR ((((((triple13) -> rule3)) -> rule6)) -> rule2) OR ((((((triple13) -> rule3)) -> rule6)) -> rule4) OR ((((((triple15) -> rule5)) -> rule6)) -> rule2) OR ((((((triple15) -> rule5)) -> rule6)) -> rule4))] Harry is young.[(triple15)] @1: Charlie is green.[(((triple2) -> rule1) OR ((triple2) -> rule3))] Gary is green.[(((triple10) -> rule5) OR ((triple8) -> rule1) OR ((triple8) -> rule3))] @2: Charlie is blue.[(((((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] Gary is blue.[(((((triple10) -> rule5)) -> rule6) OR ((((triple8) -> rule1)) -> rule6) OR ((((triple8) -> rule3)) -> rule6))] @3: Gary is smart.[(((((((triple10) -> rule5)) -> rule6)) -> rule2) OR ((((((triple10) -> rule5)) -> rule6)) -> rule4) OR ((((((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule6)) -> rule4) OR ((((((triple8) -> rule3)) -> rule6)) -> rule2) OR ((((((triple8) -> rule3)) -> rule6)) -> rule4))]