The cat needs the cow. The cow eats the cat. The cow is blue. The mouse eats the rabbit. The mouse is cold. The mouse is young. The mouse needs the cow. The rabbit is cold. The rabbit is young. The rabbit needs the cat. If someone is cold and they see the rabbit then the rabbit is young. If the mouse sees the cat and the cow does not need the mouse then the cat eats the rabbit. If someone eats the cow then they eat the mouse. If someone is nice and young then they see the rabbit. If someone eats the rabbit then they need the cat. If someone sees the rabbit then they are not green. If someone sees the cat and they are cold then they are nice. If someone needs the cat and they are young then they see the cat. If the cow is not young then the cow is green.
The cat sees the rabbit.
@0: The cat needs the cow.[(triple1)] The cow eats the cat.[(triple2)] The cow is blue.[(triple3)] The mouse eats the rabbit.[(triple4)] The mouse is cold.[(triple5)] The mouse is young.[(triple6)] The mouse needs the cow.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is young.[(triple9 OR ((triple5 ((((((((triple4) -> rule5) triple6) -> rule8) triple5) -> rule7) triple6) -> rule4)) -> rule1))] The rabbit needs the cat.[(triple10)] @1: The mouse needs the cat.[(((triple4) -> rule5))] The rabbit sees the cat.[(((triple10 triple9) -> rule8) OR ((triple10 ((triple5 ((((((((triple4) -> rule5) triple6) -> rule8) triple5) -> rule7) triple6) -> rule4)) -> rule1)) -> rule8))] @2: The mouse sees the cat.[(((((triple4) -> rule5) triple6) -> rule8))] The rabbit is nice.[(((((triple10 triple9) -> rule8) triple8) -> rule7) OR ((((triple10 ((triple5 ((((((((triple4) -> rule5) triple6) -> rule8) triple5) -> rule7) triple6) -> rule4)) -> rule1)) -> rule8) triple8) -> rule7))] @3: The mouse is nice.[(((((((triple4) -> rule5) triple6) -> rule8) triple5) -> rule7))] The rabbit sees the rabbit.[(((((((triple10 triple9) -> rule8) triple8) -> rule7) triple9) -> rule4) OR ((((((triple10 triple9) -> rule8) triple8) -> rule7) ((triple5 ((((((((triple4) -> rule5) triple6) -> rule8) triple5) -> rule7) triple6) -> rule4)) -> rule1)) -> rule4) OR ((((((triple10 ((triple5 ((((((((triple4) -> rule5) triple6) -> rule8) triple5) -> rule7) triple6) -> rule4)) -> rule1)) -> rule8) triple8) -> rule7) triple9) -> rule4) OR ((((((triple10 ((triple5 ((((((((triple4) -> rule5) triple6) -> rule8) triple5) -> rule7) triple6) -> rule4)) -> rule1)) -> rule8) triple8) -> rule7) ((triple5 ((((((((triple4) -> rule5) triple6) -> rule8) triple5) -> rule7) triple6) -> rule4)) -> rule1)) -> rule4))] @4: The mouse sees the rabbit.[(((((((((triple4) -> rule5) triple6) -> rule8) triple5) -> rule7) triple6) -> rule4))] The rabbit is not green.[(((((((((triple10 triple9) -> rule8) triple8) -> rule7) triple9) -> rule4)) -> rule6) OR ((((((((triple10 triple9) -> rule8) triple8) -> rule7) ((triple5 ((((((((triple4) -> rule5) triple6) -> rule8) triple5) -> rule7) triple6) -> rule4)) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple10 ((triple5 ((((((((triple4) -> rule5) triple6) -> rule8) triple5) -> rule7) triple6) -> rule4)) -> rule1)) -> rule8) triple8) -> rule7) triple9) -> rule4)) -> rule6) OR ((((((((triple10 ((triple5 ((((((((triple4) -> rule5) triple6) -> rule8) triple5) -> rule7) triple6) -> rule4)) -> rule1)) -> rule8) triple8) -> rule7) ((triple5 ((((((((triple4) -> rule5) triple6) -> rule8) triple5) -> rule7) triple6) -> rule4)) -> rule1)) -> rule4)) -> rule6))] @5: The mouse is not green.[(((((((((((triple4) -> rule5) triple6) -> rule8) triple5) -> rule7) triple6) -> rule4)) -> rule6))]