Fiona is blue. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is white. Gary is green. Gary is nice. Harry is green. Harry is nice. Harry is rough. Harry is white. If Gary is smart then Gary is quiet. Smart things are rough. Smart, blue things are nice. If something is white and rough then it is smart. White, quiet things are blue. Green, quiet things are smart. Nice things are white. If something is green then it is quiet.
Gary is smart.
@0: Fiona is blue.[(triple1 OR ((triple6 triple4) -> rule5) OR ((triple6 ((triple2) -> rule8)) -> rule5) OR ((((triple3) -> rule7) triple4) -> rule5) OR ((((triple3) -> rule7) ((triple2) -> rule8)) -> rule5))] Fiona is green.[(triple2)] Fiona is nice.[(triple3 OR ((triple5 triple1) -> rule3) OR ((triple5 ((triple6 triple4) -> rule5)) -> rule3) OR ((((triple2 triple4) -> rule6) triple1) -> rule3) OR ((((triple2 triple4) -> rule6) ((triple6 triple4) -> rule5)) -> rule3) OR ((triple5 ((triple6 ((triple2) -> rule8)) -> rule5)) -> rule3) OR ((((triple2 ((triple2) -> rule8)) -> rule6) triple1) -> rule3) OR ((((triple2 triple4) -> rule6) ((triple6 ((triple2) -> rule8)) -> rule5)) -> rule3) OR ((((triple2 ((triple2) -> rule8)) -> rule6) ((triple6 triple4) -> rule5)) -> rule3) OR ((((triple2 ((triple2) -> rule8)) -> rule6) ((triple6 ((triple2) -> rule8)) -> rule5)) -> rule3))] Fiona is quiet.[(triple4 OR ((triple2) -> rule8))] Fiona is smart.[(triple5 OR ((triple2 triple4) -> rule6) OR ((triple2 ((triple2) -> rule8)) -> rule6))] Fiona is white.[(triple6 OR ((triple3) -> rule7) OR ((((triple5 triple1) -> rule3)) -> rule7) OR ((((((triple2 triple4) -> rule6) triple1) -> rule3)) -> rule7) OR ((((((triple2 ((triple2) -> rule8)) -> rule6) triple1) -> rule3)) -> rule7))] Gary is green.[(triple7)] Gary is nice.[(triple8)] Harry is green.[(triple9)] Harry is nice.[(triple10 OR ((((triple12 triple11) -> rule4) ((triple12 ((triple9) -> rule8)) -> rule5)) -> rule3) OR ((((triple9 ((triple9) -> rule8)) -> rule6) ((triple12 ((triple9) -> rule8)) -> rule5)) -> rule3))] Harry is rough.[(triple11 OR ((((triple9 ((triple9) -> rule8)) -> rule6)) -> rule2))] Harry is white.[(triple12 OR ((triple10) -> rule7))] @1: Fiona is rough.[(((triple5) -> rule2) OR ((((triple2 triple4) -> rule6)) -> rule2) OR ((((triple2 ((triple2) -> rule8)) -> rule6)) -> rule2))] Gary is quiet.[(((triple7) -> rule8))] Gary is white.[(((triple8) -> rule7))] Harry is quiet.[(((triple9) -> rule8))] Harry is smart.[(((triple12 triple11) -> rule4) OR ((triple9 ((triple9) -> rule8)) -> rule6) OR ((((triple10) -> rule7) triple11) -> rule4))] @2: Gary is blue.[(((((triple8) -> rule7) ((triple7) -> rule8)) -> rule5))] Gary is smart.[(((triple7 ((triple7) -> rule8)) -> rule6))] Harry is blue.[(((triple12 ((triple9) -> rule8)) -> rule5) OR ((((triple10) -> rule7) ((triple9) -> rule8)) -> rule5))] @3: Gary is rough.[(((((triple7 ((triple7) -> rule8)) -> rule6)) -> rule2))]