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