Bob is blue. Bob is nice. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is young. Dave is blue. Dave is nice. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is young. If something is smart and red then it is young. If Bob is smart then Bob is rough. All red things are rough. If something is red and smart then it is blue. If Dave is rough and Dave is red then Dave is nice. Blue things are round.
Dave is nice.
@0: Bob is blue.[(triple1 OR ((triple3 triple6) -> rule4))] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((triple3) -> rule3) OR ((triple6) -> rule2))] Bob is round.[(triple5 OR ((triple1) -> rule6) OR ((((triple3 triple6) -> rule4)) -> rule6))] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple6 triple3) -> rule1))] Dave is blue.[(triple8 OR ((triple10 triple13) -> rule4))] Dave is nice.[(triple9 OR ((triple11 triple10) -> rule5) OR ((((triple10) -> rule3) triple10) -> rule5))] Dave is red.[(triple10)] Dave is rough.[(triple11 OR ((triple10) -> rule3))] Dave is round.[(triple12 OR ((triple8) -> rule6) OR ((((triple10 triple13) -> rule4)) -> rule6))] Dave is smart.[(triple13)] Dave is young.[(triple14 OR ((triple13 triple10) -> rule1))]