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