The dog is big. The dog is cold. The dog is nice. The dog is rough. The dog is round. All nice, round things are rough. All nice, cold things are big. All cold things are big. Cold, nice things are round. If something is nice then it is big. If something is nice and cold then it is rough. All rough, round things are big. All big, cold things are round.
The dog does not see the dog.
@0: The dog is big.[(triple1 OR ((triple2) -> rule3) OR ((triple3) -> rule5) OR ((triple3 triple2) -> rule2) OR ((triple4 triple5) -> rule7) OR ((triple4 ((triple2 triple3) -> rule4)) -> rule7) OR ((((triple3 triple2) -> rule6) triple5) -> rule7) OR ((((triple3 triple5) -> rule1) triple5) -> rule7) OR ((((triple3 triple2) -> rule6) ((triple2 triple3) -> rule4)) -> rule7) OR ((((triple3 triple5) -> rule1) ((triple2 triple3) -> rule4)) -> rule7) OR ((((triple3 ((triple2 triple3) -> rule4)) -> rule1) triple5) -> rule7) OR ((((triple3 ((triple2 triple3) -> rule4)) -> rule1) ((triple2 triple3) -> rule4)) -> rule7))] The dog is cold.[(triple2)] The dog is nice.[(triple3)] The dog is rough.[(triple4 OR ((triple3 triple2) -> rule6) OR ((triple3 triple5) -> rule1) OR ((triple3 ((triple1 triple2) -> rule8)) -> rule1) OR ((triple3 ((triple2 triple3) -> rule4)) -> rule1) OR ((triple3 ((((triple2) -> rule3) triple2) -> rule8)) -> rule1) OR ((triple3 ((((triple3) -> rule5) triple2) -> rule8)) -> rule1) OR ((triple3 ((((triple3 triple2) -> rule2) triple2) -> rule8)) -> rule1))] The dog is round.[(triple5 OR ((triple1 triple2) -> rule8) OR ((triple2 triple3) -> rule4) OR ((((triple2) -> rule3) triple2) -> rule8) OR ((((triple3) -> rule5) triple2) -> rule8) OR ((((triple3 triple2) -> rule2) triple2) -> rule8))]