Dave is big. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Gary is big. Gary is furry. Gary is kind. Gary is nice. Gary is round. All kind, quiet people are furry. Round people are quiet. If Dave is furry and Dave is nice then Dave is quiet. If someone is quiet and round then they are nice. If Gary is big and Gary is quiet then Gary is rough. If someone is quiet then they are big.
Gary is rough.
@0: Dave is big.[(triple1 OR ((triple5) -> rule6) OR ((((triple7) -> rule2)) -> rule6) OR ((((triple2 triple4) -> rule3)) -> rule6))] Dave is furry.[(triple2 OR ((triple3 triple5) -> rule1) OR ((triple3 ((triple7) -> rule2)) -> rule1))] Dave is kind.[(triple3)] Dave is nice.[(triple4 OR ((triple5 triple7) -> rule4) OR ((((triple7) -> rule2) triple7) -> rule4))] Dave is quiet.[(triple5 OR ((triple7) -> rule2) OR ((triple2 triple4) -> rule3))] Dave is rough.[(triple6)] Dave is round.[(triple7)] Gary is big.[(triple8 OR ((((triple12) -> rule2)) -> rule6))] Gary is furry.[(triple9 OR ((triple10 ((triple12) -> rule2)) -> rule1))] Gary is kind.[(triple10)] Gary is nice.[(triple11 OR ((((triple12) -> rule2) triple12) -> rule4))] Gary is round.[(triple12)] @1: Gary is quiet.[(((triple12) -> rule2))] @2: Gary is rough.[(((triple8 ((triple12) -> rule2)) -> rule5) OR ((((((triple12) -> rule2)) -> rule6) ((triple12) -> rule2)) -> rule5))]