Bob is big. Bob is nice. Bob is smart. Bob is young. Charlie is not cold. Charlie is red. Charlie is smart. All red people are big. All young people are not cold. If Charlie is green and Charlie is big then Charlie is nice. Nice people are smart. All nice people are smart. If someone is big and not cold then they are green.
Bob is cold.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is smart.[(triple3 OR ((triple2) -> rule4) OR ((triple2) -> rule5))] Bob is young.[(triple4)] Charlie is not cold.[(triple5)] Charlie is red.[(triple6)] Charlie is smart.[(triple7 OR ((((((((triple6) -> rule1) triple5) -> rule6) ((triple6) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple6) -> rule1) triple5) -> rule6) ((triple6) -> rule1)) -> rule3)) -> rule5))] @1: Bob is not cold.[(((triple4) -> rule2))] Charlie is big.[(((triple6) -> rule1))] @2: Bob is green.[(((triple1 ((triple4) -> rule2)) -> rule6))] Charlie is green.[(((((triple6) -> rule1) triple5) -> rule6))] @3: Charlie is nice.[(((((((triple6) -> rule1) triple5) -> rule6) ((triple6) -> rule1)) -> rule3))]