Anne is blue. Anne is furry. Anne is round. Bob is furry. Bob is green. Bob is red. Charlie is blue. Charlie is furry. Charlie is red. Charlie is smart. Furry, young things are red. Furry things are red. If something is furry and blue then it is smart. All round things are red. If something is smart then it is furry. Round, smart things are young.
Charlie is green.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is round.[(triple3)] Bob is furry.[(triple4)] Bob is green.[(triple5)] Bob is red.[(triple6 OR ((triple4) -> rule2))] Charlie is blue.[(triple7)] Charlie is furry.[(triple8 OR ((triple10) -> rule5))] Charlie is red.[(triple9 OR ((triple8) -> rule2) OR ((((triple10) -> rule5)) -> rule2))] Charlie is smart.[(triple10 OR ((triple8 triple7) -> rule3))] @1: Anne is red.[(((triple2) -> rule2) OR ((triple3) -> rule4) OR ((triple2 ((triple3 ((triple2 triple1) -> rule3)) -> rule6)) -> rule1))] Anne is smart.[(((triple2 triple1) -> rule3))] @2: Anne is young.[(((triple3 ((triple2 triple1) -> rule3)) -> rule6))]