Anne is blue. Anne is furry. Anne is red. Anne is round. Anne is young. Charlie is red. Charlie is rough. Gary is blue. Gary is green. Gary is red. Gary is round. Gary is young. Green things are blue. If something is furry then it is round. All round things are rough. All blue, young things are round. Green, furry things are red. If Charlie is young and Charlie is rough then Charlie is blue. Rough things are furry. If Gary is round and Gary is rough then Gary is young.
Anne is round.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((((triple4) -> rule3)) -> rule7) OR ((((((triple1 triple5) -> rule4)) -> rule3)) -> rule7))] Anne is red.[(triple3)] Anne is round.[(triple4 OR ((triple2) -> rule2) OR ((triple1 triple5) -> rule4))] Anne is young.[(triple5)] Charlie is red.[(triple6)] Charlie is rough.[(triple7)] Gary is blue.[(triple8 OR ((triple9) -> rule1))] Gary is green.[(triple9)] Gary is red.[(triple10 OR ((triple9 ((((triple11) -> rule3)) -> rule7)) -> rule5) OR ((triple9 ((((((triple8 triple12) -> rule4)) -> rule3)) -> rule7)) -> rule5) OR ((triple9 ((((((((triple9) -> rule1) triple12) -> rule4)) -> rule3)) -> rule7)) -> rule5))] Gary is round.[(triple11 OR ((triple8 triple12) -> rule4) OR ((((triple9) -> rule1) triple12) -> rule4))] Gary is young.[(triple12 OR ((triple11 ((triple11) -> rule3)) -> rule8))] @1: Anne is rough.[(((triple4) -> rule3) OR ((((triple2) -> rule2)) -> rule3) OR ((((triple1 triple5) -> rule4)) -> rule3))] Charlie is furry.[(((triple7) -> rule7))] Gary is rough.[(((triple11) -> rule3) OR ((((triple8 triple12) -> rule4)) -> rule3) OR ((((((triple9) -> rule1) triple12) -> rule4)) -> rule3))] @2: Charlie is round.[(((((triple7) -> rule7)) -> rule2))] Gary is furry.[(((((triple11) -> rule3)) -> rule7) OR ((((((triple8 triple12) -> rule4)) -> rule3)) -> rule7) OR ((((((((triple9) -> rule1) triple12) -> rule4)) -> rule3)) -> rule7))]