Anne is green. Anne is kind. Anne is red. Bob is green. Bob is kind. Fiona is red. Fiona is round. Gary is blue. Gary is green. Gary is kind. Gary is rough. Gary is round. Round things are rough. If something is blue then it is round. Round things are green. If Gary is blue and Gary is smart then Gary is rough. If something is kind and rough then it is green. Green things are blue. If something is red then it is kind. If Bob is green and Bob is smart then Bob is kind.
Fiona is not green.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((triple3) -> rule7))] Anne is red.[(triple3)] Bob is green.[(triple4)] Bob is kind.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7)] Gary is blue.[(triple8 OR ((triple9) -> rule6) OR ((((triple12) -> rule3)) -> rule6) OR ((((triple10 triple11) -> rule5)) -> rule6) OR ((((triple10 ((triple12) -> rule1)) -> rule5)) -> rule6))] Gary is green.[(triple9 OR ((triple12) -> rule3) OR ((triple10 triple11) -> rule5) OR ((((triple8) -> rule2)) -> rule3) OR ((triple10 ((triple12) -> rule1)) -> rule5) OR ((triple10 ((((triple8) -> rule2)) -> rule1)) -> rule5))] Gary is kind.[(triple10)] Gary is rough.[(triple11 OR ((triple12) -> rule1) OR ((((triple8) -> rule2)) -> rule1) OR ((((((triple9) -> rule6)) -> rule2)) -> rule1))] Gary is round.[(triple12 OR ((triple8) -> rule2) OR ((((triple9) -> rule6)) -> rule2) OR ((((((triple10 triple11) -> rule5)) -> rule6)) -> rule2))] @1: Anne is blue.[(((triple1) -> rule6))] Bob is blue.[(((triple4) -> rule6))] Fiona is green.[(((triple7) -> rule3) OR ((((triple6) -> rule7) ((triple7) -> rule1)) -> rule5))] Fiona is kind.[(((triple6) -> rule7))] Fiona is rough.[(((triple7) -> rule1))] @2: Anne is round.[(((((triple1) -> rule6)) -> rule2))] Bob is round.[(((((triple4) -> rule6)) -> rule2))] Fiona is blue.[(((((triple7) -> rule3)) -> rule6) OR ((((((triple6) -> rule7) ((triple7) -> rule1)) -> rule5)) -> rule6))] @3: Anne is rough.[(((((((triple1) -> rule6)) -> rule2)) -> rule1))] Bob is rough.[(((((((triple4) -> rule6)) -> rule2)) -> rule1))]