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