Bob is cold. Bob is round. Dave is big. Dave is green. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is white. Harry is big. Harry is blue. Harry is green. Harry is kind. Harry is round. Harry is white. All blue, cold things are green. Round, big things are cold. All round, kind things are blue. Blue things are kind. If Bob is round then Bob is kind. If Bob is blue then Bob is cold. All kind, cold things are round. Cold things are round.
Dave is kind.
@0: Bob is cold.[(triple1 OR ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6))] Bob is round.[(triple2 OR ((triple1) -> rule8))] Dave is big.[(triple3)] Dave is green.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6 OR ((((triple7) -> rule8) triple9) -> rule3) OR ((((triple9 triple7) -> rule7) triple9) -> rule3))] Fiona is cold.[(triple7)] Fiona is green.[(triple8 OR ((triple6 triple7) -> rule1) OR ((((((triple7) -> rule8) triple9) -> rule3) triple7) -> rule1) OR ((((((triple9 triple7) -> rule7) triple9) -> rule3) triple7) -> rule1))] Fiona is kind.[(triple9 OR ((triple6) -> rule4))] Fiona is white.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12 OR ((triple15 triple14) -> rule3))] Harry is green.[(triple13 OR ((triple12 ((triple15 triple11) -> rule2)) -> rule1) OR ((((triple15 triple14) -> rule3) ((triple15 triple11) -> rule2)) -> rule1))] Harry is kind.[(triple14 OR ((triple12) -> rule4))] Harry is round.[(triple15)] Harry is white.[(triple16)] @1: Bob is kind.[(((triple2) -> rule5) OR ((((triple1) -> rule8)) -> rule5))] Fiona is round.[(((triple7) -> rule8) OR ((triple9 triple7) -> rule7) OR ((((triple6) -> rule4) triple7) -> rule7))] Harry is cold.[(((triple15 triple11) -> rule2))] @2: Bob is blue.[(((triple2 ((triple2) -> rule5)) -> rule3) OR ((((triple1) -> rule8) ((triple2) -> rule5)) -> rule3) OR ((triple2 ((((triple1) -> rule8)) -> rule5)) -> rule3) OR ((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule5)) -> rule3))] @3: Bob is green.[(((((triple2 ((triple2) -> rule5)) -> rule3) triple1) -> rule1) OR ((((((triple1) -> rule8) ((triple2) -> rule5)) -> rule3) triple1) -> rule1) OR ((((triple2 ((((triple1) -> rule8)) -> rule5)) -> rule3) triple1) -> rule1) OR ((((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule5)) -> rule3) triple1) -> rule1) OR ((((triple2 ((triple2) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1) OR ((((triple2 ((((triple1) -> rule8)) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple1) -> rule8) ((triple2) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule5)) -> rule3) ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule1))]