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