Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is white. Charlie is young. Dave is blue. Dave is nice. Dave is quiet. Dave is smart. Dave is white. If Charlie is white and Charlie is rough then Charlie is blue. If something is young then it is nice. If something is white and nice then it is rough. Nice things are smart. If Dave is quiet and Dave is young then Dave is nice. Blue, white things are quiet.
Charlie is white.
@0: Charlie is blue.[(triple1 OR ((triple4 ((triple4 triple2) -> rule3)) -> rule1) OR ((triple4 ((triple4 ((triple5) -> rule2)) -> rule3)) -> rule1))] Charlie is nice.[(triple2 OR ((triple5) -> rule2))] Charlie is quiet.[(triple3 OR ((triple1 triple4) -> rule6) OR ((((triple4 ((triple4 triple2) -> rule3)) -> rule1) triple4) -> rule6) OR ((((triple4 ((triple4 ((triple5) -> rule2)) -> rule3)) -> rule1) triple4) -> rule6))] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Dave is blue.[(triple6)] Dave is nice.[(triple7)] Dave is quiet.[(triple8 OR ((triple6 triple10) -> rule6))] Dave is smart.[(triple9 OR ((triple7) -> rule4))] Dave is white.[(triple10)] @1: Charlie is rough.[(((triple4 triple2) -> rule3) OR ((triple4 ((triple5) -> rule2)) -> rule3))] Charlie is smart.[(((triple2) -> rule4) OR ((((triple5) -> rule2)) -> rule4))] Dave is rough.[(((triple10 triple7) -> rule3))]