The cow is blue. The cow is rough. The cow is round. The cow is young. The cow likes the dog. The cow needs the dog. The cow sees the dog. The dog is not blue. The dog is cold. The dog is not rough. The dog is round. The dog is not young. The dog likes the cow. The dog does not need the cow. The dog sees the cow. If something needs the dog and the dog does not see the cow then the cow is round. If something needs the dog and it does not see the cow then the cow is not blue. If something likes the cow and it does not need the cow then it is not blue. If something needs the cow and the cow does not need the dog then it likes the dog. If something needs the cow and it sees the cow then it does not like the cow. If something needs the dog and it is not young then the dog is cold. If something is round and cold then it sees the dog. If something likes the cow and it does not like the dog then the cow is cold.
The cow is blue.
("cow" "is" "blue" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog is round.
("dog" "is" "round" "+")
The dog is not young.
("dog" "is" "young" "-")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog does not need the cow.
("dog" "needs" "cow" "-")
The dog sees the cow.
("dog" "sees" "cow" "+")
If something needs the dog and the dog does not see the cow then the cow is round.
((("something" "needs" "dog" "+") ("dog" "sees" "cow" "~")) -> ("cow" "is" "round" "+"))
If something needs the dog and it does not see the cow then the cow is not blue.
((("something" "needs" "dog" "+") ("something" "sees" "cow" "~")) -> ("cow" "is" "blue" "-"))
If something likes the cow and it does not need the cow then it is not blue.
((("something" "likes" "cow" "+") ("something" "needs" "cow" "~")) -> ("something" "is" "blue" "-"))
If something needs the cow and the cow does not need the dog then it likes the dog.
((("something" "needs" "cow" "+") ("cow" "needs" "dog" "~")) -> ("something" "likes" "dog" "+"))
If something needs the cow and it sees the cow then it does not like the cow.
((("something" "needs" "cow" "+") ("something" "sees" "cow" "+")) -> ("something" "likes" "cow" "-"))
If something needs the dog and it is not young then the dog is cold.
((("something" "needs" "dog" "+") ("something" "is" "young" "~")) -> ("dog" "is" "cold" "+"))
If something is round and cold then it sees the dog.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "sees" "dog" "+"))
If something likes the cow and it does not like the dog then the cow is cold.
((("something" "likes" "cow" "+") ("something" "likes" "dog" "~")) -> ("cow" "is" "cold" "+"))
The dog is cold.
True
1
proof
[(triple9)]
("dog" "is" "cold" "+")
triple9
The cow does not like the dog.
False
1
inv-proof
[(triple5)]
("cow" "likes" "dog" "-")
triple5
The dog sees the dog.
True
3
proof
[(((triple11 triple9) -> rule7))]
("dog" "sees" "dog" "+")
((triple11 triple9) -> (rule7 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog does not see the dog.
False
3
inv-proof
[(((triple11 triple9) -> rule7))]
("dog" "sees" "dog" "-")
((triple11 triple9) -> (rule7 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "likes" "dog" "-")
The cow is cold.
Unknown
rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "is" "cold" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cow is blue.[(triple1)] The cow is rough.[(triple2)] The cow is round.[(triple3)] The cow is young.[(triple4)] The cow likes the dog.[(triple5)] The cow needs the dog.[(triple6)] The cow sees the dog.[(triple7)] The dog does not need the cow.[(triple14)] The dog is cold.[(triple9)] The dog is not blue.[(triple8 OR ((triple13 triple14) -> rule3))] The dog is not rough.[(triple10)] The dog is not young.[(triple12)] The dog is round.[(triple11)] The dog likes the cow.[(triple13)] The dog sees the cow.[(triple15)] @1: The dog sees the dog.[(((triple11 triple9) -> rule7))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is rough.
("cow" "is" "rough" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow likes the dog.
("cow" "likes" "dog" "+")
triple5
The cow needs the dog.
("cow" "needs" "dog" "+")
triple6
The cow sees the dog.
("cow" "sees" "dog" "+")
triple7
The dog does not need the cow.
("dog" "needs" "cow" "-")
triple14
The dog is cold.
("dog" "is" "cold" "+")
triple9
The dog is not blue.
("dog" "is" "blue" "-")
triple8
((triple13 triple14) -> (rule3 % int1))
The dog is not blue.
("dog" "is" "blue" "-")
int1
The dog is not rough.
("dog" "is" "rough" "-")
triple10
The dog is not young.
("dog" "is" "young" "-")
triple12
The dog is round.
("dog" "is" "round" "+")
triple11
The dog likes the cow.
("dog" "likes" "cow" "+")
triple13
The dog sees the cow.
("dog" "sees" "cow" "+")
triple15
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple11 triple9) -> (rule7 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1