Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is round. Dave is smart. Dave is young. Round people are cold. All red, young people are nice. If Dave is smart and Dave is round then Dave is red. If Dave is young then Dave is nice. If someone is red and round then they are nice. If someone is nice and furry then they are red. Nice people are round. If someone is cold then they are red.
Dave is not young.
@0: Dave is cold.[(triple1 OR ((triple5) -> rule1) OR ((((triple3) -> rule7)) -> rule1) OR ((((((triple7) -> rule4)) -> rule7)) -> rule1) OR ((((((triple4 triple7) -> rule2)) -> rule7)) -> rule1))] Dave is furry.[(triple2)] Dave is nice.[(triple3 OR ((triple7) -> rule4) OR ((triple4 triple5) -> rule5) OR ((triple4 triple7) -> rule2) OR ((((triple1) -> rule8) triple5) -> rule5) OR ((((triple1) -> rule8) triple7) -> rule2) OR ((((triple6 triple5) -> rule3) triple5) -> rule5) OR ((((triple6 triple5) -> rule3) triple7) -> rule2) OR ((((((triple5) -> rule1)) -> rule8) triple5) -> rule5) OR ((((((triple5) -> rule1)) -> rule8) triple7) -> rule2))] Dave is red.[(triple4 OR ((triple1) -> rule8) OR ((triple3 triple2) -> rule6) OR ((triple6 triple5) -> rule3) OR ((((triple5) -> rule1)) -> rule8) OR ((triple6 ((triple3) -> rule7)) -> rule3) OR ((((triple7) -> rule4) triple2) -> rule6) OR ((((((triple3) -> rule7)) -> rule1)) -> rule8) OR ((triple6 ((((triple7) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple7) -> rule4)) -> rule7)) -> rule1)) -> rule8))] Dave is round.[(triple5 OR ((triple3) -> rule7) OR ((((triple7) -> rule4)) -> rule7) OR ((((triple4 triple7) -> rule2)) -> rule7) OR ((((((triple1) -> rule8) triple7) -> rule2)) -> rule7))] Dave is smart.[(triple6)] Dave is young.[(triple7)]