Bob is cold. Bob is furry. Bob is green. Bob is kind. Fiona is big. Fiona is not blue. Fiona is furry. Fiona is green. Fiona is nice. Gary is green. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is not nice. If Gary is cold then Gary is furry. Furry people are cold. If someone is green then they are cold. If Bob is nice then Bob is not kind. If Fiona is cold then Fiona is big. If Fiona is nice then Fiona is cold. If someone is blue and not nice then they are not green. If someone is blue then they are furry.
Fiona is cold.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule2) OR ((triple3) -> rule3))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Fiona is big.[(triple5 OR ((((triple7) -> rule2)) -> rule5) OR ((((triple8) -> rule3)) -> rule5) OR ((((triple9) -> rule6)) -> rule5))] Fiona is furry.[(triple7)] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is not blue.[(triple6)] Gary is green.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12 OR ((triple13) -> rule2) OR ((((triple11) -> rule8)) -> rule2))] Harry is furry.[(triple13 OR ((triple11) -> rule8))] Harry is kind.[(triple14)] Harry is not nice.[(triple15)] @1: Fiona is cold.[(((triple7) -> rule2) OR ((triple8) -> rule3) OR ((triple9) -> rule6))] Gary is cold.[(((triple10) -> rule3))] Harry is not green.[(((triple11 triple15) -> rule7))] @2: Gary is furry.[(((((triple10) -> rule3)) -> rule1))]