The cat is cold. The cat is not kind. The cat is nice. The cat is red. The cat needs the squirrel. The cat visits the squirrel. The squirrel is kind. The squirrel is red. The squirrel is not round. The squirrel likes the cat. The squirrel needs the cat. The squirrel visits the cat. If something is kind then it visits the squirrel. If the cat is round and the cat does not need the squirrel then the squirrel does not like the cat. If something likes the squirrel and it does not need the squirrel then it is not round. If something needs the squirrel then the squirrel is red. If something needs the squirrel and the squirrel needs the cat then the squirrel is kind. If something needs the cat then it likes the squirrel. If something visits the squirrel then the squirrel visits the cat. If something visits the cat then the cat is cold.
The cat is red.
@0: The cat is cold.[(triple1 OR ((triple12) -> rule8) OR ((((triple6) -> rule7)) -> rule8) OR ((((((triple7) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple5 triple11) -> rule5)) -> rule1)) -> rule7)) -> rule8))] The cat is nice.[(triple3)] The cat is not kind.[(triple2)] The cat is red.[(triple4)] The cat needs the squirrel.[(triple5)] The cat visits the squirrel.[(triple6)] The squirrel is kind.[(triple7 OR ((triple5 triple11) -> rule5))] The squirrel is not round.[(triple9)] The squirrel is red.[(triple8 OR ((triple5) -> rule4))] The squirrel likes the cat.[(triple10)] The squirrel needs the cat.[(triple11)] The squirrel visits the cat.[(triple12 OR ((triple6) -> rule7) OR ((((triple7) -> rule1)) -> rule7) OR ((((((triple5 triple11) -> rule5)) -> rule1)) -> rule7))] @1: The squirrel likes the squirrel.[(((triple11) -> rule6))] The squirrel visits the squirrel.[(((triple7) -> rule1) OR ((((triple5 triple11) -> rule5)) -> rule1))]