Anne is blue. Anne is nice. Anne is quiet. Anne is rough. Fiona is big. Fiona is blue. Fiona is quiet. Gary is blue. Gary is quiet. Gary is rough. Gary is white. Harry is white. All big people are rough. All blue, nice people are big. If someone is rough then they are green. All nice people are big. Green people are blue. Rough, white people are nice. White people are nice. Green people are nice.
Gary is green.
@0: Anne is blue.[(triple1 OR ((((triple4) -> rule3)) -> rule5) OR ((((((((triple2) -> rule4)) -> rule1)) -> rule3)) -> rule5))] Anne is nice.[(triple2 OR ((((triple4) -> rule3)) -> rule8))] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((((triple2) -> rule4)) -> rule1) OR ((((triple1 triple2) -> rule2)) -> rule1))] Fiona is big.[(triple5)] Fiona is blue.[(triple6 OR ((((((triple5) -> rule1)) -> rule3)) -> rule5))] Fiona is quiet.[(triple7)] Gary is blue.[(triple8 OR ((((triple10) -> rule3)) -> rule5) OR ((((((((((triple11) -> rule7)) -> rule4)) -> rule1)) -> rule3)) -> rule5))] Gary is quiet.[(triple9)] Gary is rough.[(triple10 OR ((((((triple11) -> rule7)) -> rule4)) -> rule1) OR ((((triple8 ((triple11) -> rule7)) -> rule2)) -> rule1))] Gary is white.[(triple11)] Harry is white.[(triple12)] @1: Anne is big.[(((triple2) -> rule4) OR ((triple1 triple2) -> rule2) OR ((((((triple4) -> rule3)) -> rule8)) -> rule4) OR ((triple1 ((((triple4) -> rule3)) -> rule8)) -> rule2) OR ((((((triple4) -> rule3)) -> rule5) triple2) -> rule2) OR ((((((triple4) -> rule3)) -> rule5) ((((triple4) -> rule3)) -> rule8)) -> rule2))] Anne is green.[(((triple4) -> rule3) OR ((((((triple2) -> rule4)) -> rule1)) -> rule3) OR ((((((triple1 triple2) -> rule2)) -> rule1)) -> rule3))] Fiona is rough.[(((triple5) -> rule1))] Gary is green.[(((triple10) -> rule3) OR ((((((((triple11) -> rule7)) -> rule4)) -> rule1)) -> rule3) OR ((((((triple8 ((triple11) -> rule7)) -> rule2)) -> rule1)) -> rule3))] Gary is nice.[(((triple11) -> rule7) OR ((triple10 triple11) -> rule6) OR ((((triple10) -> rule3)) -> rule8))] Harry is nice.[(((triple12) -> rule7))] @2: Fiona is green.[(((((triple5) -> rule1)) -> rule3))] Gary is big.[(((((triple11) -> rule7)) -> rule4) OR ((((triple10 triple11) -> rule6)) -> rule4) OR ((triple8 ((triple11) -> rule7)) -> rule2) OR ((triple8 ((triple10 triple11) -> rule6)) -> rule2) OR ((((((triple10) -> rule3)) -> rule8)) -> rule4) OR ((triple8 ((((triple10) -> rule3)) -> rule8)) -> rule2) OR ((((((triple10) -> rule3)) -> rule5) ((triple11) -> rule7)) -> rule2) OR ((((((triple10) -> rule3)) -> rule5) ((triple10 triple11) -> rule6)) -> rule2) OR ((((((triple10) -> rule3)) -> rule5) ((((triple10) -> rule3)) -> rule8)) -> rule2))] Harry is big.[(((((triple12) -> rule7)) -> rule4))] @3: Fiona is nice.[(((((((triple5) -> rule1)) -> rule3)) -> rule8))] Harry is rough.[(((((((triple12) -> rule7)) -> rule4)) -> rule1))] @4: Harry is green.[(((((((((triple12) -> rule7)) -> rule4)) -> rule1)) -> rule3))] @5: Harry is blue.[(((((((((((triple12) -> rule7)) -> rule4)) -> rule1)) -> rule3)) -> rule5))]