The bald eagle sees the cat. The cat is cold. The cat is kind. The cat is nice. The cow is cold. The cow is nice. The cow does not see the cat. The squirrel is not nice. The squirrel does not see the cat. The squirrel visits the cat. If someone sees the cow and they chase the cow then the cow is not young. If someone is nice then they do not see the cow. If someone sees the squirrel and the squirrel does not visit the cow then they are young.
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow does not see the cat.
("cow" "sees" "cat" "-")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone sees the cow and they chase the cow then the cow is not young.
((("someone" "sees" "cow" "+") ("someone" "chases" "cow" "+")) -> ("cow" "is" "young" "-"))
If someone is nice then they do not see the cow.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "cow" "-"))
If someone sees the squirrel and the squirrel does not visit the cow then they are young.
((("someone" "sees" "squirrel" "+") ("squirrel" "visits" "cow" "~")) -> ("someone" "is" "young" "+"))
The squirrel does not see the cat.
True
1
proof
[(triple9)]
("squirrel" "sees" "cat" "-")
triple9
The cat is not cold.
False
1
inv-proof
[(triple2)]
("cat" "is" "cold" "-")
triple2
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "young" "-")
The squirrel visits the bald eagle.
Unknown
random
[@0: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bald eagle" "+")
@0: The bald eagle sees the cat.[(triple1)] The cat is cold.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cow does not see the cat.[(triple7)] The cow is cold.[(triple5)] The cow is nice.[(triple6)] The squirrel does not see the cat.[(triple9)] The squirrel is not nice.[(triple8)] The squirrel visits the cat.[(triple10)] @1: The cat does not see the cow.[(((triple4) -> rule2))] The cow does not see the cow.[(((triple6) -> rule2))]
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cow does not see the cat.
("cow" "sees" "cat" "-")
triple7
The cow is cold.
("cow" "is" "cold" "+")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple6
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
triple9
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple8
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple10
The cat does not see the cow.
("cat" "sees" "cow" "-")
((triple4) -> (rule2 % int1))
The cat does not see the cow.
("cat" "sees" "cow" "-")
int1
The cow does not see the cow.
("cow" "sees" "cow" "-")
((triple6) -> (rule2 % int1))
The cow does not see the cow.
("cow" "sees" "cow" "-")
int1