Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is red. Bob is white. Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. If Bob is blue and Bob is furry then Bob is cold. Cold people are red. If someone is red and blue then they are green. All furry people are white. Red, big people are green. If someone is white then they are cold.
Charlie is white.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple6) -> rule6) OR ((((triple3) -> rule4)) -> rule6))] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple5 triple1) -> rule5) OR ((((triple2) -> rule2) triple1) -> rule5) OR ((((((triple6) -> rule6)) -> rule2) triple1) -> rule5) OR ((((((((triple3) -> rule4)) -> rule6)) -> rule2) triple1) -> rule5))] Bob is red.[(triple5 OR ((triple2) -> rule2) OR ((((triple6) -> rule6)) -> rule2) OR ((((((triple3) -> rule4)) -> rule6)) -> rule2))] Bob is white.[(triple6 OR ((triple3) -> rule4))] Charlie is big.[(triple7)] Charlie is blue.[(triple8)] Charlie is furry.[(triple9)] Charlie is green.[(triple10 OR ((((((((triple9) -> rule4)) -> rule6)) -> rule2) triple7) -> rule5) OR ((((((((triple9) -> rule4)) -> rule6)) -> rule2) triple8) -> rule3))] @1: Charlie is white.[(((triple9) -> rule4))] @2: Charlie is cold.[(((((triple9) -> rule4)) -> rule6))] @3: Charlie is red.[(((((((triple9) -> rule4)) -> rule6)) -> rule2))]