Fiona is big. Fiona is green. Fiona is kind. Fiona is red. Fiona is white. Harry is big. Harry is cold. Harry is green. Harry is kind. Harry is red. Harry is smart. Harry is white. If something is smart then it is red. White, cold things are big. If Fiona is big and Fiona is red then Fiona is smart. Big, kind things are smart. If Fiona is cold then Fiona is big. If Harry is big then Harry is red. Cold things are kind. If something is smart then it is cold.
Fiona is cold.
@0: Fiona is big.[(triple1)] Fiona is green.[(triple2)] Fiona is kind.[(triple3 OR ((((((triple1 triple4) -> rule3)) -> rule8)) -> rule7))] Fiona is red.[(triple4 OR ((((triple1 triple3) -> rule4)) -> rule1))] Fiona is white.[(triple5)] Harry is big.[(triple6 OR ((triple12 triple7) -> rule2) OR ((triple12 ((triple11) -> rule8)) -> rule2))] Harry is cold.[(triple7 OR ((triple11) -> rule8) OR ((((triple6 triple9) -> rule4)) -> rule8))] Harry is green.[(triple8)] Harry is kind.[(triple9 OR ((triple7) -> rule7) OR ((((triple11) -> rule8)) -> rule7))] Harry is red.[(triple10 OR ((triple11) -> rule1) OR ((triple6) -> rule6) OR ((((triple12 triple7) -> rule2)) -> rule6) OR ((((triple6 triple9) -> rule4)) -> rule1) OR ((((triple12 ((triple11) -> rule8)) -> rule2)) -> rule6) OR ((((triple6 ((triple7) -> rule7)) -> rule4)) -> rule1) OR ((((((triple12 triple7) -> rule2) triple9) -> rule4)) -> rule1) OR ((((((triple12 triple7) -> rule2) ((triple7) -> rule7)) -> rule4)) -> rule1))] Harry is smart.[(triple11 OR ((triple6 triple9) -> rule4) OR ((triple6 ((triple7) -> rule7)) -> rule4) OR ((((triple12 triple7) -> rule2) triple9) -> rule4) OR ((((triple12 triple7) -> rule2) ((triple7) -> rule7)) -> rule4))] Harry is white.[(triple12)] @1: Fiona is smart.[(((triple1 triple3) -> rule4) OR ((triple1 triple4) -> rule3))] @2: Fiona is cold.[(((((triple1 triple3) -> rule4)) -> rule8) OR ((((triple1 triple4) -> rule3)) -> rule8))]