Dave is blue. Dave is furry. Dave is quiet. Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is rough. All furry, kind things are blue. All kind things are red. All blue things are nice. If Dave is red and Dave is kind then Dave is furry. If Gary is nice then Gary is quiet. Rough things are red. If something is kind and red then it is blue. Nice things are quiet.
Dave is kind.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is quiet.[(triple3 OR ((((triple1) -> rule3)) -> rule8))] Gary is blue.[(triple4 OR ((triple5 triple6) -> rule1) OR ((triple6 triple9) -> rule7) OR ((triple6 ((triple10) -> rule6)) -> rule7) OR ((triple6 ((triple6) -> rule2)) -> rule7))] Gary is furry.[(triple5)] Gary is kind.[(triple6)] Gary is nice.[(triple7 OR ((triple4) -> rule3) OR ((((triple5 triple6) -> rule1)) -> rule3) OR ((((triple6 triple9) -> rule7)) -> rule3) OR ((((triple6 ((triple10) -> rule6)) -> rule7)) -> rule3) OR ((((triple6 ((triple6) -> rule2)) -> rule7)) -> rule3))] Gary is quiet.[(triple8 OR ((triple7) -> rule5) OR ((triple7) -> rule8) OR ((((triple4) -> rule3)) -> rule5) OR ((((triple4) -> rule3)) -> rule8) OR ((((((triple5 triple6) -> rule1)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule1)) -> rule3)) -> rule8) OR ((((((triple6 triple9) -> rule7)) -> rule3)) -> rule5) OR ((((((triple6 triple9) -> rule7)) -> rule3)) -> rule8) OR ((((((triple6 ((triple10) -> rule6)) -> rule7)) -> rule3)) -> rule5) OR ((((((triple6 ((triple10) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((triple6 ((triple6) -> rule2)) -> rule7)) -> rule3)) -> rule5) OR ((((((triple6 ((triple6) -> rule2)) -> rule7)) -> rule3)) -> rule8))] Gary is red.[(triple9 OR ((triple10) -> rule6) OR ((triple6) -> rule2))] Gary is rough.[(triple10)] @1: Dave is nice.[(((triple1) -> rule3))]