Bob is cold. Bob is furry. Bob is rough. Bob is smart. Charlie is green. Dave is cold. Dave is furry. Dave is green. Dave is red. Dave is rough. Dave is smart. Dave is white. Fiona is furry. Fiona is green. Fiona is red. If someone is furry then they are cold. If someone is furry and smart then they are green. If Bob is red then Bob is green. Smart, green people are white. If someone is furry then they are cold. All rough, white people are red.
Bob is red.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule1) OR ((triple2) -> rule5))] Bob is furry.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Charlie is green.[(triple5)] Dave is cold.[(triple6 OR ((triple7) -> rule1) OR ((triple7) -> rule5))] Dave is furry.[(triple7)] Dave is green.[(triple8 OR ((triple7 triple11) -> rule2))] Dave is red.[(triple9 OR ((triple10 triple12) -> rule6) OR ((triple10 ((triple11 triple8) -> rule4)) -> rule6) OR ((triple10 ((triple11 ((triple7 triple11) -> rule2)) -> rule4)) -> rule6))] Dave is rough.[(triple10)] Dave is smart.[(triple11)] Dave is white.[(triple12 OR ((triple11 triple8) -> rule4) OR ((triple11 ((triple7 triple11) -> rule2)) -> rule4))] Fiona is furry.[(triple13)] Fiona is green.[(triple14)] Fiona is red.[(triple15)] @1: Bob is green.[(((triple2 triple4) -> rule2))] Fiona is cold.[(((triple13) -> rule1) OR ((triple13) -> rule5))] @2: Bob is white.[(((triple4 ((triple2 triple4) -> rule2)) -> rule4))] @3: Bob is red.[(((triple3 ((triple4 ((triple2 triple4) -> rule2)) -> rule4)) -> rule6))]