Bob is big. Bob is cold. Bob is nice. Bob is quiet. Erin is big. Erin is nice. Erin is quiet. Nice, furry things are cold. Quiet, nice things are white. If something is cold then it is rough. If Erin is white then Erin is big. If Bob is cold then Bob is rough. If something is big then it is furry.
Erin is not cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple3 ((triple1) -> rule6)) -> rule1))] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Erin is big.[(triple5 OR ((((triple7 triple6) -> rule2)) -> rule4))] Erin is nice.[(triple6)] Erin is quiet.[(triple7)] @1: Bob is furry.[(((triple1) -> rule6))] Bob is rough.[(((triple2) -> rule3) OR ((triple2) -> rule5) OR ((((triple3 ((triple1) -> rule6)) -> rule1)) -> rule3) OR ((((triple3 ((triple1) -> rule6)) -> rule1)) -> rule5))] Bob is white.[(((triple4 triple3) -> rule2))] Erin is furry.[(((triple5) -> rule6) OR ((((((triple7 triple6) -> rule2)) -> rule4)) -> rule6))] Erin is white.[(((triple7 triple6) -> rule2))] @2: Erin is cold.[(((triple6 ((triple5) -> rule6)) -> rule1) OR ((triple6 ((((((triple7 triple6) -> rule2)) -> rule4)) -> rule6)) -> rule1))] @3: Erin is rough.[(((((triple6 ((triple5) -> rule6)) -> rule1)) -> rule3) OR ((((triple6 ((((((triple7 triple6) -> rule2)) -> rule4)) -> rule6)) -> rule1)) -> rule3))]