Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Dave is white. Gary is furry. Gary is kind. Gary is not red. Gary is rough. Gary is smart. If something is white then it is red. If something is white and red then it is smart. All red, quiet things are kind. If Gary is red and Gary is rough then Gary is kind. If Gary is white and Gary is not red then Gary is kind. All kind, smart things are furry.
Gary is not quiet.
@0: Dave is furry.[(triple1 OR ((triple2 triple6) -> rule6) OR ((triple2 ((triple7 triple4) -> rule2)) -> rule6) OR ((((triple4 triple3) -> rule3) triple6) -> rule6) OR ((((triple4 triple3) -> rule3) ((triple7 triple4) -> rule2)) -> rule6) OR ((triple2 ((triple7 ((triple7) -> rule1)) -> rule2)) -> rule6) OR ((((((triple7) -> rule1) triple3) -> rule3) triple6) -> rule6) OR ((((triple4 triple3) -> rule3) ((triple7 ((triple7) -> rule1)) -> rule2)) -> rule6) OR ((((((triple7) -> rule1) triple3) -> rule3) ((triple7 triple4) -> rule2)) -> rule6) OR ((((((triple7) -> rule1) triple3) -> rule3) ((triple7 ((triple7) -> rule1)) -> rule2)) -> rule6))] Dave is kind.[(triple2 OR ((triple4 triple3) -> rule3) OR ((((triple7) -> rule1) triple3) -> rule3))] Dave is quiet.[(triple3)] Dave is red.[(triple4 OR ((triple7) -> rule1))] Dave is rough.[(triple5)] Dave is smart.[(triple6 OR ((triple7 triple4) -> rule2) OR ((triple7 ((triple7) -> rule1)) -> rule2))] Dave is white.[(triple7)] Gary is furry.[(triple8 OR ((triple9 triple12) -> rule6))] Gary is kind.[(triple9)] Gary is not red.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12)]