Bob is blue. Bob is nice. Bob is quiet. Bob is smart. Bob is young. Harry is blue. Harry is nice. Harry is quiet. Harry is red. Harry is round. Harry is smart. Harry is young. Red people are nice. Quiet, young people are round. If someone is smart and round then they are red. If someone is smart and red then they are blue. All blue people are young. If someone is round then they are blue.
Bob is round.
@0: Bob is blue.[(triple1 OR ((((triple3 triple5) -> rule2)) -> rule6) OR ((triple4 ((triple4 ((triple3 triple5) -> rule2)) -> rule3)) -> rule4))] Bob is nice.[(triple2 OR ((((triple4 ((triple3 triple5) -> rule2)) -> rule3)) -> rule1) OR ((((triple4 ((triple3 ((triple1) -> rule5)) -> rule2)) -> rule3)) -> rule1))] Bob is quiet.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple5 OR ((triple1) -> rule5))] Harry is blue.[(triple6 OR ((triple10) -> rule6) OR ((triple11 triple9) -> rule4) OR ((((triple8 triple12) -> rule2)) -> rule6) OR ((triple11 ((triple11 triple10) -> rule3)) -> rule4) OR ((triple11 ((triple11 ((triple8 triple12) -> rule2)) -> rule3)) -> rule4))] Harry is nice.[(triple7 OR ((triple9) -> rule1) OR ((((triple11 triple10) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple12) -> rule2)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 ((triple6) -> rule5)) -> rule2)) -> rule3)) -> rule1))] Harry is quiet.[(triple8)] Harry is red.[(triple9 OR ((triple11 triple10) -> rule3) OR ((triple11 ((triple8 triple12) -> rule2)) -> rule3) OR ((triple11 ((triple8 ((triple6) -> rule5)) -> rule2)) -> rule3))] Harry is round.[(triple10 OR ((triple8 triple12) -> rule2) OR ((triple8 ((triple6) -> rule5)) -> rule2) OR ((triple8 ((((triple11 triple9) -> rule4)) -> rule5)) -> rule2))] Harry is smart.[(triple11)] Harry is young.[(triple12 OR ((triple6) -> rule5) OR ((((triple10) -> rule6)) -> rule5) OR ((((triple11 triple9) -> rule4)) -> rule5) OR ((((triple11 ((triple11 triple10) -> rule3)) -> rule4)) -> rule5))] @1: Bob is round.[(((triple3 triple5) -> rule2) OR ((triple3 ((triple1) -> rule5)) -> rule2))] @2: Bob is red.[(((triple4 ((triple3 triple5) -> rule2)) -> rule3) OR ((triple4 ((triple3 ((triple1) -> rule5)) -> rule2)) -> rule3))]