Bob is furry. Bob is smart. Dave is rough. Dave is smart. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is rough. Erin is smart. Gary is furry. Gary is green. Gary is nice. Gary is red. Rough things are nice. If something is red and rough then it is nice. All cold things are nice. Furry things are cold. If something is nice then it is rough. All green, red things are rough. If Erin is nice then Erin is red. Nice, cold things are red.
Bob is red.
@0: Bob is furry.[(triple1)] Bob is smart.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Erin is cold.[(triple5 OR ((triple6) -> rule4))] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8 OR ((triple10) -> rule1) OR ((triple5) -> rule3) OR ((triple9 triple10) -> rule2) OR ((((triple6) -> rule4)) -> rule3) OR ((((triple7 triple9) -> rule6)) -> rule1) OR ((triple9 ((triple7 triple9) -> rule6)) -> rule2))] Erin is red.[(triple9 OR ((triple8) -> rule7) OR ((triple8 triple5) -> rule8) OR ((((triple10) -> rule1)) -> rule7) OR ((((triple5) -> rule3)) -> rule7) OR ((triple8 ((triple6) -> rule4)) -> rule8) OR ((((triple10) -> rule1) triple5) -> rule8) OR ((((triple5) -> rule3) triple5) -> rule8) OR ((((triple10) -> rule1) ((triple6) -> rule4)) -> rule8) OR ((((triple5) -> rule3) ((triple6) -> rule4)) -> rule8) OR ((((((triple6) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule4)) -> rule3) triple5) -> rule8) OR ((((((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule8))] Erin is rough.[(triple10 OR ((triple8) -> rule5) OR ((triple7 triple9) -> rule6) OR ((((triple5) -> rule3)) -> rule5) OR ((triple7 ((triple8) -> rule7)) -> rule6) OR ((triple7 ((triple8 triple5) -> rule8)) -> rule6) OR ((((((triple6) -> rule4)) -> rule3)) -> rule5) OR ((triple7 ((((triple5) -> rule3)) -> rule7)) -> rule6) OR ((triple7 ((triple8 ((triple6) -> rule4)) -> rule8)) -> rule6) OR ((triple7 ((((triple5) -> rule3) triple5) -> rule8)) -> rule6) OR ((triple7 ((((triple5) -> rule3) ((triple6) -> rule4)) -> rule8)) -> rule6) OR ((triple7 ((((((triple6) -> rule4)) -> rule3)) -> rule7)) -> rule6) OR ((triple7 ((((((triple6) -> rule4)) -> rule3) triple5) -> rule8)) -> rule6) OR ((triple7 ((((((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule8)) -> rule6))] Erin is smart.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is nice.[(triple14 OR ((((triple12) -> rule4)) -> rule3) OR ((((triple13 triple15) -> rule6)) -> rule1) OR ((triple15 ((triple13 triple15) -> rule6)) -> rule2))] Gary is red.[(triple15 OR ((triple14 ((triple12) -> rule4)) -> rule8) OR ((((((triple12) -> rule4)) -> rule3) ((triple12) -> rule4)) -> rule8))] @1: Bob is cold.[(((triple1) -> rule4))] Dave is nice.[(((triple3) -> rule1))] Gary is cold.[(((triple12) -> rule4))] Gary is rough.[(((triple14) -> rule5) OR ((triple13 triple15) -> rule6) OR ((((((triple12) -> rule4)) -> rule3)) -> rule5) OR ((triple13 ((triple14 ((triple12) -> rule4)) -> rule8)) -> rule6) OR ((triple13 ((((((triple12) -> rule4)) -> rule3) ((triple12) -> rule4)) -> rule8)) -> rule6))] @2: Bob is nice.[(((((triple1) -> rule4)) -> rule3))] @3: Bob is red.[(((((((triple1) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule8))] Bob is rough.[(((((((triple1) -> rule4)) -> rule3)) -> rule5))]