Bob is green. Bob is quiet. Fiona is furry. Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is smart. Gary is white. Smart, kind things are quiet. Smart things are blue. All furry, blue things are quiet. If Bob is quiet then Bob is kind. All furry things are white. Kind, quiet things are green.
Bob is smart.
@0: Bob is green.[(triple1 OR ((((triple2) -> rule4) triple2) -> rule6))] Bob is quiet.[(triple2)] Fiona is furry.[(triple3)] Gary is blue.[(triple4 OR ((triple9) -> rule2))] Gary is furry.[(triple5)] Gary is green.[(triple6 OR ((triple7 triple8) -> rule6) OR ((triple7 ((triple5 triple4) -> rule3)) -> rule6) OR ((triple7 ((triple9 triple7) -> rule1)) -> rule6) OR ((triple7 ((triple5 ((triple9) -> rule2)) -> rule3)) -> rule6))] Gary is kind.[(triple7)] Gary is quiet.[(triple8 OR ((triple5 triple4) -> rule3) OR ((triple9 triple7) -> rule1) OR ((triple5 ((triple9) -> rule2)) -> rule3))] Gary is smart.[(triple9)] Gary is white.[(triple10 OR ((triple5) -> rule5))] @1: Bob is kind.[(((triple2) -> rule4))] Fiona is white.[(((triple3) -> rule5))]