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