Charlie is not blue. Charlie is nice. Charlie is white. Dave is blue. Dave is rough. Fiona is blue. Fiona is nice. Gary is furry. Gary is smart. Gary is white. If someone is nice then they are quiet. Nice, white people are quiet. If Gary is nice then Gary is furry. All nice, quiet people are white. Quiet, smart people are rough. All nice, rough people are furry. If someone is smart and blue then they are furry. Smart, white people are nice.
Dave is quiet.
@0: Charlie is nice.[(triple2)] Charlie is not blue.[(triple1)] Charlie is white.[(triple3 OR ((triple2 ((triple2) -> rule1)) -> rule4))] Dave is blue.[(triple4)] Dave is rough.[(triple5)] Fiona is blue.[(triple6)] Fiona is nice.[(triple7)] Gary is furry.[(triple8 OR ((((triple9 triple10) -> rule8)) -> rule3) OR ((((triple9 triple10) -> rule8) ((((((triple9 triple10) -> rule8)) -> rule1) triple9) -> rule5)) -> rule6) OR ((((triple9 triple10) -> rule8) ((((((triple9 triple10) -> rule8) triple10) -> rule2) triple9) -> rule5)) -> rule6))] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Charlie is quiet.[(((triple2) -> rule1) OR ((triple2 triple3) -> rule2))] Fiona is quiet.[(((triple7) -> rule1))] Gary is nice.[(((triple9 triple10) -> rule8))] @2: Fiona is white.[(((triple7 ((triple7) -> rule1)) -> rule4))] Gary is quiet.[(((((triple9 triple10) -> rule8)) -> rule1) OR ((((triple9 triple10) -> rule8) triple10) -> rule2))] @3: Gary is rough.[(((((((triple9 triple10) -> rule8)) -> rule1) triple9) -> rule5) OR ((((((triple9 triple10) -> rule8) triple10) -> rule2) triple9) -> rule5))]