Bob is furry. Bob is quiet. Bob is rough. Bob is smart. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Gary is blue. Gary is furry. All quiet, smart people are furry. All round, blue people are furry. If Bob is rough and Bob is smart then Bob is furry. If someone is furry and quiet then they are rough. Furry, rough people are blue. All smart, blue people are rough. All round, kind people are furry. If someone is quiet then they are kind.
Gary is not kind.
@0: Bob is furry.[(triple1 OR ((triple2 triple4) -> rule1) OR ((triple3 triple4) -> rule3))] Bob is quiet.[(triple2)] Bob is rough.[(triple3 OR ((triple1 triple2) -> rule4) OR ((((triple2 triple4) -> rule1) triple2) -> rule4))] Bob is smart.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6 OR ((((triple5 triple8) -> rule1) triple5) -> rule4) OR ((((triple7 ((triple5) -> rule8)) -> rule7) triple5) -> rule4))] Dave is round.[(triple7)] Dave is smart.[(triple8)] Gary is blue.[(triple9)] Gary is furry.[(triple10)] @1: Bob is blue.[(((triple1 triple3) -> rule5) OR ((triple1 ((triple1 triple2) -> rule4)) -> rule5) OR ((((triple2 triple4) -> rule1) triple3) -> rule5) OR ((((triple3 triple4) -> rule3) triple3) -> rule5) OR ((((triple2 triple4) -> rule1) ((triple1 triple2) -> rule4)) -> rule5) OR ((((triple3 triple4) -> rule3) ((triple1 triple2) -> rule4)) -> rule5) OR ((triple1 ((((triple2 triple4) -> rule1) triple2) -> rule4)) -> rule5) OR ((((triple2 triple4) -> rule1) ((((triple2 triple4) -> rule1) triple2) -> rule4)) -> rule5) OR ((((triple3 triple4) -> rule3) ((((triple2 triple4) -> rule1) triple2) -> rule4)) -> rule5))] Bob is kind.[(((triple2) -> rule8))] Dave is furry.[(((triple5 triple8) -> rule1) OR ((triple7 ((triple5) -> rule8)) -> rule7))] Dave is kind.[(((triple5) -> rule8))] @2: Dave is blue.[(((((triple5 triple8) -> rule1) triple6) -> rule5) OR ((((triple7 ((triple5) -> rule8)) -> rule7) triple6) -> rule5) OR ((((triple5 triple8) -> rule1) ((((triple5 triple8) -> rule1) triple5) -> rule4)) -> rule5) OR ((((triple7 ((triple5) -> rule8)) -> rule7) ((((triple5 triple8) -> rule1) triple5) -> rule4)) -> rule5) OR ((((triple5 triple8) -> rule1) ((((triple7 ((triple5) -> rule8)) -> rule7) triple5) -> rule4)) -> rule5) OR ((((triple7 ((triple5) -> rule8)) -> rule7) ((((triple7 ((triple5) -> rule8)) -> rule7) triple5) -> rule4)) -> rule5))]