Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is red. Dave is round. Dave is young. Round, furry things are red. If Dave is big and Dave is red then Dave is furry. Round, kind things are young. All kind things are blue. If something is kind then it is round. If something is furry and young then it is round. Furry, round things are red. If something is red and kind then it is round.
Dave is red.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple4) -> rule4))] Dave is furry.[(triple3 OR ((triple1 triple5) -> rule2))] Dave is kind.[(triple4)] Dave is red.[(triple5 OR ((triple3 triple6) -> rule7) OR ((triple6 triple3) -> rule1) OR ((triple3 ((triple4) -> rule5)) -> rule7) OR ((triple3 ((triple3 triple7) -> rule6)) -> rule7) OR ((((triple4) -> rule5) triple3) -> rule1) OR ((((triple3 triple7) -> rule6) triple3) -> rule1))] Dave is round.[(triple6 OR ((triple4) -> rule5) OR ((triple3 triple7) -> rule6) OR ((triple5 triple4) -> rule8) OR ((((triple1 triple5) -> rule2) triple7) -> rule6))] Dave is young.[(triple7 OR ((triple6 triple4) -> rule3) OR ((((triple4) -> rule5) triple4) -> rule3) OR ((((triple5 triple4) -> rule8) triple4) -> rule3))]