Bob is big. Bob is cold. Bob is green. Erin is big. Erin is not cold. Erin is green. Erin is red. Erin is smart. Harry is not cold. Harry is furry. Harry is not green. Harry is red. If something is white and not smart then it is not cold. If something is red and not green then it is not big. If something is smart and not white then it is big. If something is furry and not green then it is not big. If something is big and red then it is furry. Green, smart things are red.
Harry is not green.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Erin is big.[(triple4)] Erin is green.[(triple6)] Erin is not cold.[(triple5)] Erin is red.[(triple7 OR ((triple6 triple8) -> rule6))] Erin is smart.[(triple8)] Harry is furry.[(triple10)] Harry is not cold.[(triple9)] Harry is not green.[(triple11)] Harry is red.[(triple12)] @1: Erin is furry.[(((triple4 triple7) -> rule5) OR ((triple4 ((triple6 triple8) -> rule6)) -> rule5))] Harry is not big.[(((triple10 triple11) -> rule4) OR ((triple12 triple11) -> rule2))]