Bob is not furry. Bob is kind. Bob is rough. Bob is round. Gary is big. Gary is furry. Gary is kind. Gary is red. Gary is not rough. Gary is round. All red, big things are round. If something is red then it is round. If something is red and big then it is kind. If something is quiet then it is red. All big things are quiet. All round things are big. If Gary is big and Gary is not rough then Gary is furry. If Gary is quiet and Gary is not red then Gary is not kind.
Bob is not big.
@0: Bob is kind.[(triple2 OR ((((((((triple4) -> rule6)) -> rule5)) -> rule4) ((triple4) -> rule6)) -> rule3))] Bob is not furry.[(triple1)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Gary is big.[(triple5 OR ((triple10) -> rule6) OR ((((triple8) -> rule2)) -> rule6))] Gary is furry.[(triple6 OR ((triple5 triple9) -> rule7) OR ((((triple10) -> rule6) triple9) -> rule7) OR ((((((triple8) -> rule2)) -> rule6) triple9) -> rule7))] Gary is kind.[(triple7 OR ((triple8 triple5) -> rule3) OR ((triple8 ((triple10) -> rule6)) -> rule3) OR ((triple8 ((((triple8) -> rule2)) -> rule6)) -> rule3) OR ((((((triple5) -> rule5)) -> rule4) triple5) -> rule3) OR ((((((triple5) -> rule5)) -> rule4) ((triple10) -> rule6)) -> rule3) OR ((((((triple5) -> rule5)) -> rule4) ((((triple8) -> rule2)) -> rule6)) -> rule3) OR ((((((((triple10) -> rule6)) -> rule5)) -> rule4) triple5) -> rule3) OR ((((((((triple10) -> rule6)) -> rule5)) -> rule4) ((triple10) -> rule6)) -> rule3) OR ((((((((triple10) -> rule6)) -> rule5)) -> rule4) ((((triple8) -> rule2)) -> rule6)) -> rule3))] Gary is not rough.[(triple9)] Gary is red.[(triple8 OR ((((triple5) -> rule5)) -> rule4) OR ((((((triple10) -> rule6)) -> rule5)) -> rule4))] Gary is round.[(triple10 OR ((triple8) -> rule2) OR ((triple8 triple5) -> rule1) OR ((((((triple5) -> rule5)) -> rule4)) -> rule2) OR ((((((triple5) -> rule5)) -> rule4) triple5) -> rule1))] @1: Bob is big.[(((triple4) -> rule6))] Gary is quiet.[(((triple5) -> rule5) OR ((((triple10) -> rule6)) -> rule5) OR ((((((triple8) -> rule2)) -> rule6)) -> rule5))] @2: Bob is quiet.[(((((triple4) -> rule6)) -> rule5))] @3: Bob is red.[(((((((triple4) -> rule6)) -> rule5)) -> rule4))]