Bob is furry. Bob is smart. Bob is white. Dave is furry. Erin is cold. Erin is kind. Erin is white. Harry is furry. Harry is nice. Harry is smart. If something is big then it is nice. White things are big. If something is big and not white then it is smart. Nice things are smart. If Bob is white and Bob is smart then Bob is big. If Harry is cold then Harry is smart. If something is cold and not nice then it is furry. If something is white and not smart then it is not furry.
Harry is white.
@0: Bob is furry.[(triple1)] Bob is smart.[(triple2 OR ((((((triple3) -> rule2)) -> rule1)) -> rule4))] Bob is white.[(triple3)] Dave is furry.[(triple4)] Erin is cold.[(triple5)] Erin is kind.[(triple6)] Erin is white.[(triple7)] Harry is furry.[(triple8)] Harry is nice.[(triple9)] Harry is smart.[(triple10 OR ((triple9) -> rule4))] @1: Bob is big.[(((triple3) -> rule2) OR ((triple3 triple2) -> rule5))] Erin is big.[(((triple7) -> rule2))] @2: Bob is nice.[(((((triple3) -> rule2)) -> rule1) OR ((((triple3 triple2) -> rule5)) -> rule1))] Erin is nice.[(((((triple7) -> rule2)) -> rule1))] @3: Erin is smart.[(((((((triple7) -> rule2)) -> rule1)) -> rule4))]