The cat is cold. The cat is nice. The cat is rough. The cat is round. The cat is young. All rough people are young. All nice, rough people are round. Round, rough people are cold. If the cat is round then the cat is cold. If someone is cold and rough then they are nice. If the cat is nice and the cat is young then the cat is rough. All young people are rough. If the cat is cold and the cat is young then the cat is round.
The cat is rough.
@0: The cat is cold.[(triple1 OR ((triple4) -> rule4) OR ((triple4 triple3) -> rule3) OR ((((triple2 triple3) -> rule2)) -> rule4) OR ((triple4 ((triple5) -> rule7)) -> rule3) OR ((triple4 ((triple2 triple5) -> rule6)) -> rule3) OR ((((triple2 triple3) -> rule2) triple3) -> rule3) OR ((((triple2 triple3) -> rule2) ((triple5) -> rule7)) -> rule3) OR ((((triple2 triple3) -> rule2) ((triple2 triple5) -> rule6)) -> rule3) OR ((((triple2 ((triple5) -> rule7)) -> rule2)) -> rule4) OR ((((triple2 ((triple2 triple5) -> rule6)) -> rule2)) -> rule4) OR ((((triple2 ((triple5) -> rule7)) -> rule2) triple3) -> rule3) OR ((((triple2 ((triple2 triple5) -> rule6)) -> rule2) triple3) -> rule3) OR ((((triple2 ((triple5) -> rule7)) -> rule2) ((triple5) -> rule7)) -> rule3) OR ((((triple2 ((triple5) -> rule7)) -> rule2) ((triple2 triple5) -> rule6)) -> rule3) OR ((((triple2 ((triple2 triple5) -> rule6)) -> rule2) ((triple5) -> rule7)) -> rule3) OR ((((triple2 ((triple2 triple5) -> rule6)) -> rule2) ((triple2 triple5) -> rule6)) -> rule3))] The cat is nice.[(triple2 OR ((triple1 triple3) -> rule5) OR ((triple1 ((triple5) -> rule7)) -> rule5) OR ((((triple4) -> rule4) triple3) -> rule5) OR ((((triple4 triple3) -> rule3) triple3) -> rule5) OR ((((triple4) -> rule4) ((triple5) -> rule7)) -> rule5) OR ((((triple4 triple3) -> rule3) ((triple5) -> rule7)) -> rule5) OR ((((triple4 ((triple5) -> rule7)) -> rule3) triple3) -> rule5) OR ((((triple4 ((triple5) -> rule7)) -> rule3) ((triple5) -> rule7)) -> rule5))] The cat is rough.[(triple3 OR ((triple5) -> rule7) OR ((triple2 triple5) -> rule6))] The cat is round.[(triple4 OR ((triple1 triple5) -> rule8) OR ((triple2 triple3) -> rule2) OR ((triple1 ((triple3) -> rule1)) -> rule8) OR ((triple2 ((triple5) -> rule7)) -> rule2) OR ((triple2 ((triple2 triple5) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule5) triple3) -> rule2) OR ((((triple1 triple3) -> rule5) ((triple5) -> rule7)) -> rule2) OR ((((triple1 triple3) -> rule5) ((triple2 triple5) -> rule6)) -> rule2) OR ((((triple1 ((triple5) -> rule7)) -> rule5) triple3) -> rule2) OR ((((triple1 ((triple5) -> rule7)) -> rule5) ((triple5) -> rule7)) -> rule2) OR ((((triple1 ((triple5) -> rule7)) -> rule5) ((triple2 triple5) -> rule6)) -> rule2))] The cat is young.[(triple5 OR ((triple3) -> rule1))]