Bob is big. Bob is cold. Bob is nice. Erin is big. Erin is cold. Erin is green. Erin is red. Fiona is big. Fiona is kind. Fiona is quiet. Fiona is red. Harry is nice. If something is nice then it is kind. If something is red then it is cold. All red things are big. If something is kind and big then it is nice. If Erin is kind and Erin is big then Erin is nice. Kind things are nice.
Bob is not big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Erin is big.[(triple4 OR ((triple7) -> rule3))] Erin is cold.[(triple5 OR ((triple7) -> rule2))] Erin is green.[(triple6)] Erin is red.[(triple7)] Fiona is big.[(triple8 OR ((triple11) -> rule3))] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Harry is nice.[(triple12)] @1: Bob is kind.[(((triple3) -> rule1))] Fiona is cold.[(((triple11) -> rule2))] Fiona is nice.[(((triple9) -> rule6) OR ((triple9 triple8) -> rule4) OR ((triple9 ((triple11) -> rule3)) -> rule4))] Harry is kind.[(((triple12) -> rule1))]