The cow is big. The cow is blue. The cow is cold. The cow is red. The cow is round. The cow does not like the dog. The cow sees the dog. The cow does not visit the dog. The dog is not blue. The dog is cold. The dog is red. The dog likes the cow. If the cow visits the dog and the dog is blue then the dog sees the cow. If someone likes the cow and the cow does not see the dog then the dog is big. If someone visits the dog and they are not cold then the dog is not big. If someone visits the dog then they are big. If someone sees the dog then the dog likes the cow. If the cow likes the dog and the dog sees the cow then the dog likes the cow. If someone likes the dog and the dog is big then they visit the dog. If someone likes the cow and they see the dog then they do not visit the dog.
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow does not like the dog.
("cow" "likes" "dog" "-")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow does not visit the dog.
("cow" "visits" "dog" "-")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
If the cow visits the dog and the dog is blue then the dog sees the cow.
((("cow" "visits" "dog" "+") ("dog" "is" "blue" "+")) -> ("dog" "sees" "cow" "+"))
If someone likes the cow and the cow does not see the dog then the dog is big.
((("someone" "likes" "cow" "+") ("cow" "sees" "dog" "~")) -> ("dog" "is" "big" "+"))
If someone visits the dog and they are not cold then the dog is not big.
((("someone" "visits" "dog" "+") ("someone" "is" "cold" "~")) -> ("dog" "is" "big" "-"))
If someone visits the dog then they are big.
((("someone" "visits" "dog" "+")) -> ("someone" "is" "big" "+"))
If someone sees the dog then the dog likes the cow.
((("someone" "sees" "dog" "+")) -> ("dog" "likes" "cow" "+"))
If the cow likes the dog and the dog sees the cow then the dog likes the cow.
((("cow" "likes" "dog" "+") ("dog" "sees" "cow" "+")) -> ("dog" "likes" "cow" "+"))
If someone likes the dog and the dog is big then they visit the dog.
((("someone" "likes" "dog" "+") ("dog" "is" "big" "+")) -> ("someone" "visits" "dog" "+"))
If someone likes the cow and they see the dog then they do not visit the dog.
((("someone" "likes" "cow" "+") ("someone" "sees" "dog" "+")) -> ("someone" "visits" "dog" "-"))
The dog is not blue.
True
1
proof
[(triple9)]
("dog" "is" "blue" "-")
triple9
The dog is not red.
False
1
inv-proof
[(triple11)]
("dog" "is" "red" "-")
triple11
The dog is not big.
Unknown
inv-rconc
[@2: The dog is big.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("dog" "is" "big" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The cow does not like the dog.[(triple6)] The cow does not visit the dog.[(triple8)] The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The cow sees the dog.[(triple7)] The dog is cold.[(triple10)] The dog is not blue.[(triple9)] The dog is red.[(triple11)] The dog likes the cow.[(triple12 OR ((triple7) -> rule5))]
The cow does not like the dog.
("cow" "likes" "dog" "-")
triple6
The cow does not visit the dog.
("cow" "visits" "dog" "-")
triple8
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The cow sees the dog.
("cow" "sees" "dog" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple10
The dog is not blue.
("dog" "is" "blue" "-")
triple9
The dog is red.
("dog" "is" "red" "+")
triple11
The dog likes the cow.
("dog" "likes" "cow" "+")
triple12
((triple7) -> (rule5 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1