Bob is big. Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is white. Bob is young. Charlie is big. Charlie is nice. Charlie is red. Charlie is rough. Charlie is white. If Bob is kind and Bob is red then Bob is white. All red, young things are nice. All rough things are kind. If Bob is nice and Bob is red then Bob is rough. If something is red and rough then it is kind. All big, young things are white.
Charlie is big.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2 OR ((triple5) -> rule3) OR ((triple4 triple5) -> rule5) OR ((((triple3 triple4) -> rule4)) -> rule3) OR ((triple4 ((triple3 triple4) -> rule4)) -> rule5) OR ((((((triple4 triple7) -> rule2) triple4) -> rule4)) -> rule3) OR ((triple4 ((((triple4 triple7) -> rule2) triple4) -> rule4)) -> rule5))] Bob is nice.[(triple3 OR ((triple4 triple7) -> rule2))] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple3 triple4) -> rule4) OR ((((triple4 triple7) -> rule2) triple4) -> rule4))] Bob is white.[(triple6 OR ((triple1 triple7) -> rule6) OR ((triple2 triple4) -> rule1) OR ((((triple5) -> rule3) triple4) -> rule1) OR ((((triple4 triple5) -> rule5) triple4) -> rule1) OR ((((((triple3 triple4) -> rule4)) -> rule3) triple4) -> rule1) OR ((((triple4 ((triple3 triple4) -> rule4)) -> rule5) triple4) -> rule1) OR ((((((((triple4 triple7) -> rule2) triple4) -> rule4)) -> rule3) triple4) -> rule1) OR ((((triple4 ((((triple4 triple7) -> rule2) triple4) -> rule4)) -> rule5) triple4) -> rule1))] Bob is young.[(triple7)] Charlie is big.[(triple8)] Charlie is nice.[(triple9)] Charlie is red.[(triple10)] Charlie is rough.[(triple11)] Charlie is white.[(triple12)] @1: Charlie is kind.[(((triple11) -> rule3) OR ((triple10 triple11) -> rule5))]