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