Dave is big. Dave is furry. Dave is kind. Dave is red. Dave is round. Dave is smart. Dave is white. All white people are furry. All round people are kind. All round people are smart. All red, white people are round. Kind people are big. If someone is round and red then they are furry. Smart, big people are kind. If Dave is big and Dave is white then Dave is furry.
Dave is red.
@0: Dave is big.[(triple1 OR ((triple3) -> rule5) OR ((((triple5) -> rule2)) -> rule5) OR ((((((triple4 triple7) -> rule4)) -> rule2)) -> rule5))] Dave is furry.[(triple2 OR ((triple7) -> rule1) OR ((triple1 triple7) -> rule8) OR ((triple5 triple4) -> rule6) OR ((((triple3) -> rule5) triple7) -> rule8) OR ((((triple4 triple7) -> rule4) triple4) -> rule6) OR ((((((triple5) -> rule2)) -> rule5) triple7) -> rule8) OR ((((((((triple4 triple7) -> rule4)) -> rule2)) -> rule5) triple7) -> rule8))] Dave is kind.[(triple3 OR ((triple5) -> rule2) OR ((triple6 triple1) -> rule7) OR ((((triple4 triple7) -> rule4)) -> rule2) OR ((((triple5) -> rule3) triple1) -> rule7) OR ((((((triple4 triple7) -> rule4)) -> rule3) triple1) -> rule7))] Dave is red.[(triple4)] Dave is round.[(triple5 OR ((triple4 triple7) -> rule4))] Dave is smart.[(triple6 OR ((triple5) -> rule3) OR ((((triple4 triple7) -> rule4)) -> rule3))] Dave is white.[(triple7)]