Anne is nice. Fiona is green. Fiona is smart. Fiona is young. Harry is green. Harry is nice. Harry is smart. Smart, green people are round. Nice people are furry. Furry people are young. Round people are blue. All green, round people are nice. If someone is blue then they are smart. If Anne is round and Anne is smart then Anne is green. If someone is nice then they are furry.
Fiona is smart.
@0: Anne is nice.[(triple1)] Fiona is green.[(triple2)] Fiona is smart.[(triple3)] Fiona is young.[(triple4 OR ((((((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule8)) -> rule3))] Harry is green.[(triple5)] Harry is nice.[(triple6 OR ((triple5 ((triple7 triple5) -> rule1)) -> rule5))] Harry is smart.[(triple7)] @1: Anne is furry.[(((triple1) -> rule2) OR ((triple1) -> rule8))] Fiona is round.[(((triple3 triple2) -> rule1))] Harry is furry.[(((triple6) -> rule2) OR ((triple6) -> rule8) OR ((((triple5 ((triple7 triple5) -> rule1)) -> rule5)) -> rule2) OR ((((triple5 ((triple7 triple5) -> rule1)) -> rule5)) -> rule8))] Harry is round.[(((triple7 triple5) -> rule1))] @2: Anne is young.[(((((triple1) -> rule2)) -> rule3) OR ((((triple1) -> rule8)) -> rule3))] Fiona is blue.[(((((triple3 triple2) -> rule1)) -> rule4))] Fiona is nice.[(((triple2 ((triple3 triple2) -> rule1)) -> rule5))] Harry is blue.[(((((triple7 triple5) -> rule1)) -> rule4))] Harry is young.[(((((triple6) -> rule2)) -> rule3) OR ((((triple6) -> rule8)) -> rule3) OR ((((((triple5 ((triple7 triple5) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple5 ((triple7 triple5) -> rule1)) -> rule5)) -> rule8)) -> rule3))] @3: Fiona is furry.[(((((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule2) OR ((((triple2 ((triple3 triple2) -> rule1)) -> rule5)) -> rule8))]