Bob is blue. Bob is green. Bob is kind. Charlie is big. Charlie is cold. Charlie is green. Charlie is kind. Charlie is red. Fiona is big. Fiona is blue. Fiona is young. Harry is blue. Harry is cold. Harry is green. Harry is red. Harry is young. All blue things are kind. All big things are young. Blue, red things are kind. If Harry is young and Harry is big then Harry is kind. If Fiona is young then Fiona is kind. Green things are big.
Fiona is not cold.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple1) -> rule1))] Charlie is big.[(triple4 OR ((triple6) -> rule6))] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Charlie is red.[(triple8)] Fiona is big.[(triple9)] Fiona is blue.[(triple10)] Fiona is young.[(triple11 OR ((triple9) -> rule2))] Harry is blue.[(triple12)] Harry is cold.[(triple13)] Harry is green.[(triple14)] Harry is red.[(triple15)] Harry is young.[(triple16 OR ((((triple14) -> rule6)) -> rule2))] @1: Bob is big.[(((triple2) -> rule6))] Charlie is young.[(((triple4) -> rule2) OR ((((triple6) -> rule6)) -> rule2))] Fiona is kind.[(((triple10) -> rule1) OR ((triple11) -> rule5) OR ((((triple9) -> rule2)) -> rule5))] Harry is big.[(((triple14) -> rule6))] Harry is kind.[(((triple12) -> rule1) OR ((triple12 triple15) -> rule3) OR ((triple16 ((triple14) -> rule6)) -> rule4) OR ((((((triple14) -> rule6)) -> rule2) ((triple14) -> rule6)) -> rule4))] @2: Bob is young.[(((((triple2) -> rule6)) -> rule2))]