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