Bob is big. Bob is rough. Bob is white. Erin is big. Erin is red. Fiona is cold. Fiona is white. Harry is cold. Harry is red. Harry is rough. Harry is smart. Harry is white. If Bob is big and Bob is cold then Bob is rough. Quiet things are rough. If something is rough and big then it is cold. All rough, cold things are quiet. Big things are cold. If Bob is big and Bob is quiet then Bob is red. All smart things are red. If something is smart then it is red.
Erin is smart.
@0: Bob is big.[(triple1)] Bob is rough.[(triple2 OR ((triple1 ((triple1) -> rule5)) -> rule1))] Bob is white.[(triple3)] Erin is big.[(triple4)] Erin is red.[(triple5)] Fiona is cold.[(triple6)] Fiona is white.[(triple7)] Harry is cold.[(triple8)] Harry is red.[(triple9 OR ((triple11) -> rule7) OR ((triple11) -> rule8))] Harry is rough.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Bob is cold.[(((triple1) -> rule5) OR ((triple2 triple1) -> rule3))] Erin is cold.[(((triple4) -> rule5))] Harry is quiet.[(((triple10 triple8) -> rule4))] @2: Bob is quiet.[(((triple2 ((triple1) -> rule5)) -> rule4) OR ((triple2 ((triple2 triple1) -> rule3)) -> rule4) OR ((((triple1 ((triple1) -> rule5)) -> rule1) ((triple1) -> rule5)) -> rule4) OR ((((triple1 ((triple1) -> rule5)) -> rule1) ((triple2 triple1) -> rule3)) -> rule4))] @3: Bob is red.[(((triple1 ((triple2 ((triple1) -> rule5)) -> rule4)) -> rule6) OR ((triple1 ((triple2 ((triple2 triple1) -> rule3)) -> rule4)) -> rule6) OR ((triple1 ((((triple1 ((triple1) -> rule5)) -> rule1) ((triple1) -> rule5)) -> rule4)) -> rule6) OR ((triple1 ((((triple1 ((triple1) -> rule5)) -> rule1) ((triple2 triple1) -> rule3)) -> rule4)) -> rule6))]