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