The dog chases the rabbit. The dog eats the rabbit. The dog is big. The dog is cold. The dog is not green. The dog is kind. The dog is young. The dog needs the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is young. The rabbit needs the dog. If someone is green then they need the rabbit. If the dog needs the rabbit and the dog does not eat the rabbit then the dog chases the rabbit.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not green.
("dog" "is" "green" "-")
The dog is kind.
("dog" "is" "kind" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If someone is green then they need the rabbit.
((("someone" "is" "green" "+")) -> ("someone" "needs" "rabbit" "+"))
If the dog needs the rabbit and the dog does not eat the rabbit then the dog chases the rabbit.
((("dog" "needs" "rabbit" "+") ("dog" "eats" "rabbit" "~")) -> ("dog" "chases" "rabbit" "+"))
The rabbit needs the dog.
True
1
proof
[(triple16)]
("rabbit" "needs" "dog" "+")
triple16
The rabbit is not cold.
False
1
inv-proof
[(triple12)]
("rabbit" "is" "cold" "-")
triple12
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The dog chases the rabbit.[(triple1)] The dog eats the rabbit.[(triple2)] The dog is big.[(triple3)] The dog is cold.[(triple4)] The dog is kind.[(triple6)] The dog is not green.[(triple5)] The dog is young.[(triple7)] The dog needs the rabbit.[(triple8)] The rabbit chases the dog.[(triple9)] The rabbit eats the dog.[(triple10)] The rabbit is big.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is green.[(triple13)] The rabbit is kind.[(triple14)] The rabbit is young.[(triple15)] The rabbit needs the dog.[(triple16)] @1: The rabbit needs the rabbit.[(((triple13) -> rule1))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog is not green.
("dog" "is" "green" "-")
triple5
The dog is young.
("dog" "is" "young" "+")
triple7
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple8
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple9
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple10
The rabbit is big.
("rabbit" "is" "big" "+")
triple11
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple12
The rabbit is green.
("rabbit" "is" "green" "+")
triple13
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple14
The rabbit is young.
("rabbit" "is" "young" "+")
triple15
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple16
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((triple13) -> (rule1 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1