The cow eats the rabbit. The cow is kind. The dog is big. The dog is green. The dog is kind. The dog is red. The dog sees the cow. The dog sees the lion. The dog visits the cow. The dog visits the lion. The lion is green. The lion sees the cow. The rabbit eats the cow. The rabbit is cold. The rabbit sees the dog. If someone visits the rabbit then the rabbit is big. If someone visits the cow then the cow eats the dog. If someone visits the cow then they eat the cow. If someone is green and they eat the lion then they visit the cow. If someone visits the rabbit then the rabbit is red. If someone is cold and they visit the dog then the dog eats the rabbit. If someone is red and they see the rabbit then the rabbit visits the cow. If someone visits the rabbit and the rabbit is kind then they are green.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is kind.
("cow" "is" "kind" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If someone visits the rabbit then the rabbit is big.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
If someone visits the cow then the cow eats the dog.
((("someone" "visits" "cow" "+")) -> ("cow" "eats" "dog" "+"))
If someone visits the cow then they eat the cow.
((("someone" "visits" "cow" "+")) -> ("someone" "eats" "cow" "+"))
If someone is green and they eat the lion then they visit the cow.
((("someone" "is" "green" "+") ("someone" "eats" "lion" "+")) -> ("someone" "visits" "cow" "+"))
If someone visits the rabbit then the rabbit is red.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
If someone is cold and they visit the dog then the dog eats the rabbit.
((("someone" "is" "cold" "+") ("someone" "visits" "dog" "+")) -> ("dog" "eats" "rabbit" "+"))
If someone is red and they see the rabbit then the rabbit visits the cow.
((("someone" "is" "red" "+") ("someone" "sees" "rabbit" "+")) -> ("rabbit" "visits" "cow" "+"))
If someone visits the rabbit and the rabbit is kind then they are green.
((("someone" "visits" "rabbit" "+") ("rabbit" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
The rabbit is cold.
True
1
proof
[(triple14)]
("rabbit" "is" "cold" "+")
triple14
The dog is not red.
False
1
inv-proof
[(triple6)]
("dog" "is" "red" "-")
triple6
The cow eats the dog.
True
2
proof
[(((triple9) -> rule2))]
("cow" "eats" "dog" "+")
((triple9) -> (rule2 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
The cow does not eat the dog.
False
2
inv-proof
[(((triple9) -> rule2))]
("cow" "eats" "dog" "-")
((triple9) -> (rule2 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
The lion does not visit the cow.
Unknown
inv-rconc
[@1: The lion visits the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "visits" "cow" "-")
The rabbit is big.
Unknown
rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "big" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The cow visits the lion.
Unknown
random
[@0: The cow visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "lion" "+")
@0: The cow eats the rabbit.[(triple1)] The cow is kind.[(triple2)] The dog is big.[(triple3)] The dog is green.[(triple4)] The dog is kind.[(triple5)] The dog is red.[(triple6)] The dog sees the cow.[(triple7)] The dog sees the lion.[(triple8)] The dog visits the cow.[(triple9)] The dog visits the lion.[(triple10)] The lion is green.[(triple11)] The lion sees the cow.[(triple12)] The rabbit eats the cow.[(triple13)] The rabbit is cold.[(triple14)] The rabbit sees the dog.[(triple15)] @1: The cow eats the dog.[(((triple9) -> rule2))] The dog eats the cow.[(((triple9) -> rule3))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog is red.
("dog" "is" "red" "+")
triple6
The dog sees the cow.
("dog" "sees" "cow" "+")
triple7
The dog sees the lion.
("dog" "sees" "lion" "+")
triple8
The dog visits the cow.
("dog" "visits" "cow" "+")
triple9
The dog visits the lion.
("dog" "visits" "lion" "+")
triple10
The lion is green.
("lion" "is" "green" "+")
triple11
The lion sees the cow.
("lion" "sees" "cow" "+")
triple12
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple13
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple14
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple15
The cow eats the dog.
("cow" "eats" "dog" "+")
((triple9) -> (rule2 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
The dog eats the cow.
("dog" "eats" "cow" "+")
((triple9) -> (rule3 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1