Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is rough. Bob is white. Erin is cold. Erin is green. Erin is nice. Erin is rough. Erin is white. Gary is cold. Gary is green. Gary is kind. Gary is nice. All rough, white things are cold. If Erin is kind and Erin is green then Erin is cold. Furry, cold things are nice. If Bob is cold and Bob is furry then Bob is white. All rough things are nice. All nice things are green.
Bob is nice.
@0: Bob is cold.[(triple1 OR ((triple5 triple6) -> rule1))] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple4) -> rule6) OR ((((triple5) -> rule5)) -> rule6) OR ((((triple2 triple1) -> rule3)) -> rule6) OR ((((triple2 ((triple5 triple6) -> rule1)) -> rule3)) -> rule6))] Bob is nice.[(triple4 OR ((triple5) -> rule5) OR ((triple2 triple1) -> rule3) OR ((triple2 ((triple5 triple6) -> rule1)) -> rule3))] Bob is rough.[(triple5)] Bob is white.[(triple6 OR ((triple1 triple2) -> rule4))] Erin is cold.[(triple7 OR ((triple10 triple11) -> rule1))] Erin is green.[(triple8 OR ((triple9) -> rule6) OR ((((triple10) -> rule5)) -> rule6))] Erin is nice.[(triple9 OR ((triple10) -> rule5))] Erin is rough.[(triple10)] Erin is white.[(triple11)] Gary is cold.[(triple12)] Gary is green.[(triple13 OR ((triple15) -> rule6))] Gary is kind.[(triple14)] Gary is nice.[(triple15)]