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