The cow is big. The cow is not blue. The cow is cold. The cow is kind. The cow is round. The cow likes the squirrel. The cow sees the squirrel. The cow visits the squirrel. The squirrel is not big. The squirrel is not blue. The squirrel is not cold. The squirrel is kind. The squirrel likes the cow. The squirrel sees the cow. The squirrel visits the cow. If something visits the cow then it is round. If the cow likes the squirrel and the squirrel is kind then the cow is big. If something visits the cow then it sees the cow. If something sees the squirrel and the squirrel does not visit the cow then it is blue. If something likes the squirrel and it likes the cow then it does not see the squirrel. If the cow is blue and the squirrel does not see the cow then the squirrel likes the cow.
The cow is big.
("cow" "is" "big" "+")
The cow is not blue.
("cow" "is" "blue" "-")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If something visits the cow then it is round.
((("something" "visits" "cow" "+")) -> ("something" "is" "round" "+"))
If the cow likes the squirrel and the squirrel is kind then the cow is big.
((("cow" "likes" "squirrel" "+") ("squirrel" "is" "kind" "+")) -> ("cow" "is" "big" "+"))
If something visits the cow then it sees the cow.
((("something" "visits" "cow" "+")) -> ("something" "sees" "cow" "+"))
If something sees the squirrel and the squirrel does not visit the cow then it is blue.
((("something" "sees" "squirrel" "+") ("squirrel" "visits" "cow" "~")) -> ("something" "is" "blue" "+"))
If something likes the squirrel and it likes the cow then it does not see the squirrel.
((("something" "likes" "squirrel" "+") ("something" "likes" "cow" "+")) -> ("something" "sees" "squirrel" "-"))
If the cow is blue and the squirrel does not see the cow then the squirrel likes the cow.
((("cow" "is" "blue" "+") ("squirrel" "sees" "cow" "~")) -> ("squirrel" "likes" "cow" "+"))
The squirrel likes the cow.
True
1
proof
[(triple13)]
("squirrel" "likes" "cow" "+")
triple13
The squirrel does not like the cow.
False
1
inv-proof
[(triple13)]
("squirrel" "likes" "cow" "-")
triple13
The squirrel is round.
True
2
proof
[(((triple15) -> rule1))]
("squirrel" "is" "round" "+")
((triple15) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple15) -> rule1))]
("squirrel" "is" "round" "-")
((triple15) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The cow does not see the cow.
Unknown
inv-rconc
[@1: The cow sees the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "sees" "cow" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The cow is big.[(triple1 OR ((triple6 triple12) -> rule2))] The cow is cold.[(triple3)] The cow is kind.[(triple4)] The cow is not blue.[(triple2)] The cow is round.[(triple5)] The cow likes the squirrel.[(triple6)] The cow sees the squirrel.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel is kind.[(triple12)] The squirrel is not big.[(triple9)] The squirrel is not blue.[(triple10)] The squirrel is not cold.[(triple11)] The squirrel likes the cow.[(triple13)] The squirrel sees the cow.[(triple14 OR ((triple15) -> rule3))] The squirrel visits the cow.[(triple15)] @1: The squirrel is round.[(((triple15) -> rule1))]
The cow is big.
("cow" "is" "big" "+")
triple1
((triple6 triple12) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is not blue.
("cow" "is" "blue" "-")
triple2
The cow is round.
("cow" "is" "round" "+")
triple5
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple6
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple7
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The squirrel is not big.
("squirrel" "is" "big" "-")
triple9
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple10
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple11
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple13
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple14
((triple15) -> (rule3 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple15
The squirrel is round.
("squirrel" "is" "round" "+")
((triple15) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1