Bob is big. Bob is blue. Bob is cold. Bob is red. Bob is white. Harry is big. Harry is cold. Harry is furry. Harry is red. Harry is white. Quiet things are red. All quiet things are cold. Quiet, red things are big. If Bob is furry then Bob is white. If something is quiet then it is blue. Cold things are quiet.
Bob is not big.
@0: Bob is big.[(triple1 OR ((((triple3) -> rule6) triple4) -> rule3) OR ((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule1)) -> rule3))] Bob is blue.[(triple2 OR ((((triple3) -> rule6)) -> rule5))] Bob is cold.[(triple3)] Bob is red.[(triple4 OR ((((triple3) -> rule6)) -> rule1))] Bob is white.[(triple5)] Harry is big.[(triple6 OR ((((triple7) -> rule6) triple9) -> rule3) OR ((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule3))] Harry is cold.[(triple7)] Harry is furry.[(triple8)] Harry is red.[(triple9 OR ((((triple7) -> rule6)) -> rule1))] Harry is white.[(triple10)] @1: Bob is quiet.[(((triple3) -> rule6))] Harry is quiet.[(((triple7) -> rule6))] @2: Harry is blue.[(((((triple7) -> rule6)) -> rule5))]