Bob is not big. Bob is red. Bob is young. Charlie is blue. Charlie is kind. Charlie is red. Charlie is white. Dave is blue. Dave is not smart. Dave is young. Blue people are white. If someone is big then they are kind. White people are big. If someone is blue and not kind then they are not young. Young people are red. Kind, blue people are red.
Bob is not smart.
@0: Bob is not big.[(triple1)] Bob is red.[(triple2 OR ((triple3) -> rule5))] Bob is young.[(triple3)] Charlie is blue.[(triple4)] Charlie is kind.[(triple5 OR ((((triple7) -> rule3)) -> rule2) OR ((((((triple4) -> rule1)) -> rule3)) -> rule2))] Charlie is red.[(triple6 OR ((triple5 triple4) -> rule6) OR ((((((triple7) -> rule3)) -> rule2) triple4) -> rule6) OR ((((((((triple4) -> rule1)) -> rule3)) -> rule2) triple4) -> rule6))] Charlie is white.[(triple7 OR ((triple4) -> rule1))] Dave is blue.[(triple8)] Dave is not smart.[(triple9)] Dave is young.[(triple10)] @1: Charlie is big.[(((triple7) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] Dave is red.[(((triple10) -> rule5) OR ((((((((triple8) -> rule1)) -> rule3)) -> rule2) triple8) -> rule6))] Dave is white.[(((triple8) -> rule1))] @2: Dave is big.[(((((triple8) -> rule1)) -> rule3))] @3: Dave is kind.[(((((((triple8) -> rule1)) -> rule3)) -> rule2))]