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