Bob is green. Bob is nice. Bob is quiet. Dave is big. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. Gary is big. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. Rough, big things are smart. If something is quiet and big then it is furry. If Bob is big then Bob is rough. If something is rough then it is quiet. Nice things are big. Big things are quiet.
Gary is furry.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3 OR ((((triple2) -> rule5)) -> rule6) OR ((((((triple2) -> rule5)) -> rule3)) -> rule4))] Dave is big.[(triple4 OR ((triple7) -> rule5))] Dave is furry.[(triple5 OR ((triple8 triple4) -> rule2) OR ((triple8 ((triple7) -> rule5)) -> rule2) OR ((((triple4) -> rule6) triple4) -> rule2) OR ((((triple9) -> rule4) triple4) -> rule2) OR ((((triple4) -> rule6) ((triple7) -> rule5)) -> rule2) OR ((((triple9) -> rule4) ((triple7) -> rule5)) -> rule2) OR ((((((triple7) -> rule5)) -> rule6) triple4) -> rule2) OR ((((((triple7) -> rule5)) -> rule6) ((triple7) -> rule5)) -> rule2))] Dave is green.[(triple6)] Dave is nice.[(triple7)] Dave is quiet.[(triple8 OR ((triple4) -> rule6) OR ((triple9) -> rule4) OR ((((triple7) -> rule5)) -> rule6))] Dave is rough.[(triple9)] Dave is smart.[(triple10 OR ((triple9 triple4) -> rule1) OR ((triple9 ((triple7) -> rule5)) -> rule1))] Gary is big.[(triple11 OR ((triple13) -> rule5))] Gary is green.[(triple12)] Gary is nice.[(triple13)] Gary is quiet.[(triple14 OR ((triple11) -> rule6) OR ((triple15) -> rule4) OR ((((triple13) -> rule5)) -> rule6))] Gary is rough.[(triple15)] Gary is smart.[(triple16 OR ((triple15 triple11) -> rule1) OR ((triple15 ((triple13) -> rule5)) -> rule1))] @1: Bob is big.[(((triple2) -> rule5))] Gary is furry.[(((triple14 triple11) -> rule2) OR ((triple14 ((triple13) -> rule5)) -> rule2) OR ((((triple11) -> rule6) triple11) -> rule2) OR ((((triple15) -> rule4) triple11) -> rule2) OR ((((triple11) -> rule6) ((triple13) -> rule5)) -> rule2) OR ((((triple15) -> rule4) ((triple13) -> rule5)) -> rule2) OR ((((((triple13) -> rule5)) -> rule6) triple11) -> rule2) OR ((((((triple13) -> rule5)) -> rule6) ((triple13) -> rule5)) -> rule2))] @2: Bob is furry.[(((triple3 ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5)) -> rule6) ((triple2) -> rule5)) -> rule2) OR ((((((((triple2) -> rule5)) -> rule3)) -> rule4) ((triple2) -> rule5)) -> rule2))] Bob is rough.[(((((triple2) -> rule5)) -> rule3))] @3: Bob is smart.[(((((((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule1))]