Bob is cold. Bob is green. Bob is red. Bob is round. Fiona is green. Fiona is smart. Gary is green. Gary is red. Harry is green. Harry is smart. All smart people are cold. If someone is red then they are rough. All nice, red people are green. All red, rough people are round. If someone is rough and round then they are smart. If Gary is smart and Gary is cold then Gary is nice. Green, smart people are red.
Bob is smart.
@0: Bob is cold.[(triple1 OR ((((((triple3) -> rule2) triple4) -> rule5)) -> rule1) OR ((((((triple3) -> rule2) ((triple3 ((triple3) -> rule2)) -> rule4)) -> rule5)) -> rule1))] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4 OR ((triple3 ((triple3) -> rule2)) -> rule4))] Fiona is green.[(triple5)] Fiona is smart.[(triple6)] Gary is green.[(triple7 OR ((((((((triple8) -> rule2) ((triple8 ((triple8) -> rule2)) -> rule4)) -> rule5) ((((((triple8) -> rule2) ((triple8 ((triple8) -> rule2)) -> rule4)) -> rule5)) -> rule1)) -> rule6) triple8) -> rule3))] Gary is red.[(triple8)] Harry is green.[(triple9)] Harry is smart.[(triple10)] @1: Bob is rough.[(((triple3) -> rule2))] Fiona is cold.[(((triple6) -> rule1))] Fiona is red.[(((triple5 triple6) -> rule7))] Gary is rough.[(((triple8) -> rule2))] Harry is cold.[(((triple10) -> rule1))] Harry is red.[(((triple9 triple10) -> rule7))] @2: Bob is smart.[(((((triple3) -> rule2) triple4) -> rule5) OR ((((triple3) -> rule2) ((triple3 ((triple3) -> rule2)) -> rule4)) -> rule5))] Fiona is rough.[(((((triple5 triple6) -> rule7)) -> rule2))] Gary is round.[(((triple8 ((triple8) -> rule2)) -> rule4))] Harry is rough.[(((((triple9 triple10) -> rule7)) -> rule2))] @3: Fiona is round.[(((((triple5 triple6) -> rule7) ((((triple5 triple6) -> rule7)) -> rule2)) -> rule4))] Gary is smart.[(((((triple8) -> rule2) ((triple8 ((triple8) -> rule2)) -> rule4)) -> rule5))] Harry is round.[(((((triple9 triple10) -> rule7) ((((triple9 triple10) -> rule7)) -> rule2)) -> rule4))] @4: Gary is cold.[(((((((triple8) -> rule2) ((triple8 ((triple8) -> rule2)) -> rule4)) -> rule5)) -> rule1))] @5: Gary is nice.[(((((((triple8) -> rule2) ((triple8 ((triple8) -> rule2)) -> rule4)) -> rule5) ((((((triple8) -> rule2) ((triple8 ((triple8) -> rule2)) -> rule4)) -> rule5)) -> rule1)) -> rule6))]