Dave is big. Dave is cold. Dave is furry. Dave is quiet. Dave is rough. Dave is round. Dave is white. If Dave is white then Dave is round. If someone is quiet then they are rough. Furry, rough people are quiet. Round, white people are quiet. If someone is big and rough then they are furry. Big people are white. If someone is rough and cold then they are furry. If someone is furry then they are big.
Dave is cold.
@0: Dave is big.[(triple1 OR ((triple3) -> rule8) OR ((((triple5 triple2) -> rule7)) -> rule8) OR ((((((triple4) -> rule2) triple2) -> rule7)) -> rule8) OR ((((((((triple6 triple7) -> rule4)) -> rule2) triple2) -> rule7)) -> rule8) OR ((((((((((triple7) -> rule1) triple7) -> rule4)) -> rule2) triple2) -> rule7)) -> rule8))] Dave is cold.[(triple2)] Dave is furry.[(triple3 OR ((triple1 triple5) -> rule5) OR ((triple5 triple2) -> rule7) OR ((triple1 ((triple4) -> rule2)) -> rule5) OR ((((triple4) -> rule2) triple2) -> rule7) OR ((triple1 ((((triple6 triple7) -> rule4)) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule4)) -> rule2) triple2) -> rule7) OR ((triple1 ((((triple6 ((triple1) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((triple1 ((((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5) OR ((((((triple6 ((triple1) -> rule6)) -> rule4)) -> rule2) triple2) -> rule7) OR ((((((((triple7) -> rule1) triple7) -> rule4)) -> rule2) triple2) -> rule7) OR ((triple1 ((((((triple7) -> rule1) ((triple1) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((((((((triple7) -> rule1) ((triple1) -> rule6)) -> rule4)) -> rule2) triple2) -> rule7) OR ((triple1 ((((((((triple1) -> rule6)) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5) OR ((((((((((triple1) -> rule6)) -> rule1) triple7) -> rule4)) -> rule2) triple2) -> rule7) OR ((triple1 ((((((((triple1) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((((((((((triple1) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule4)) -> rule2) triple2) -> rule7))] Dave is quiet.[(triple4 OR ((triple3 triple5) -> rule3) OR ((triple6 triple7) -> rule4) OR ((triple6 ((triple1) -> rule6)) -> rule4) OR ((((triple7) -> rule1) triple7) -> rule4) OR ((((triple1 triple5) -> rule5) triple5) -> rule3) OR ((((triple5 triple2) -> rule7) triple5) -> rule3) OR ((((triple7) -> rule1) ((triple1) -> rule6)) -> rule4) OR ((triple6 ((((triple3) -> rule8)) -> rule6)) -> rule4) OR ((((((triple1) -> rule6)) -> rule1) triple7) -> rule4) OR ((((triple7) -> rule1) ((((triple3) -> rule8)) -> rule6)) -> rule4) OR ((((((triple1) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule4) OR ((((((triple1) -> rule6)) -> rule1) ((((triple3) -> rule8)) -> rule6)) -> rule4) OR ((triple6 ((((((triple5 triple2) -> rule7)) -> rule8)) -> rule6)) -> rule4) OR ((((((((triple3) -> rule8)) -> rule6)) -> rule1) triple7) -> rule4) OR ((((triple7) -> rule1) ((((((triple5 triple2) -> rule7)) -> rule8)) -> rule6)) -> rule4) OR ((((((((triple3) -> rule8)) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule4) OR ((((((triple1) -> rule6)) -> rule1) ((((((triple5 triple2) -> rule7)) -> rule8)) -> rule6)) -> rule4) OR ((((((((triple3) -> rule8)) -> rule6)) -> rule1) ((((triple3) -> rule8)) -> rule6)) -> rule4) OR ((((((((triple3) -> rule8)) -> rule6)) -> rule1) ((((((triple5 triple2) -> rule7)) -> rule8)) -> rule6)) -> rule4) OR ((((((((((triple5 triple2) -> rule7)) -> rule8)) -> rule6)) -> rule1) triple7) -> rule4) OR ((((((((((triple5 triple2) -> rule7)) -> rule8)) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule4) OR ((((((((((triple5 triple2) -> rule7)) -> rule8)) -> rule6)) -> rule1) ((((triple3) -> rule8)) -> rule6)) -> rule4) OR ((((((((((triple5 triple2) -> rule7)) -> rule8)) -> rule6)) -> rule1) ((((((triple5 triple2) -> rule7)) -> rule8)) -> rule6)) -> rule4))] Dave is rough.[(triple5 OR ((triple4) -> rule2) OR ((((triple6 triple7) -> rule4)) -> rule2) OR ((((triple6 ((triple1) -> rule6)) -> rule4)) -> rule2) OR ((((((triple7) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((triple7) -> rule1) ((triple1) -> rule6)) -> rule4)) -> rule2) OR ((((triple6 ((((triple3) -> rule8)) -> rule6)) -> rule4)) -> rule2) OR ((((((((triple1) -> rule6)) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((triple7) -> rule1) ((((triple3) -> rule8)) -> rule6)) -> rule4)) -> rule2) OR ((((((((triple1) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule4)) -> rule2) OR ((((((((triple1) -> rule6)) -> rule1) ((((triple3) -> rule8)) -> rule6)) -> rule4)) -> rule2) OR ((((((((((triple3) -> rule8)) -> rule6)) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((((((triple3) -> rule8)) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule4)) -> rule2) OR ((((((((((triple3) -> rule8)) -> rule6)) -> rule1) ((((triple3) -> rule8)) -> rule6)) -> rule4)) -> rule2))] Dave is round.[(triple6 OR ((triple7) -> rule1) OR ((((triple1) -> rule6)) -> rule1) OR ((((((triple3) -> rule8)) -> rule6)) -> rule1) OR ((((((((triple5 triple2) -> rule7)) -> rule8)) -> rule6)) -> rule1) OR ((((((((((triple4) -> rule2) triple2) -> rule7)) -> rule8)) -> rule6)) -> rule1))] Dave is white.[(triple7 OR ((triple1) -> rule6) OR ((((triple3) -> rule8)) -> rule6) OR ((((((triple5 triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((((triple4) -> rule2) triple2) -> rule7)) -> rule8)) -> rule6))]