The bald eagle sees the cow. The cow sees the bald eagle. If something sees the bald eagle then it eats the cow. If something is red then it eats the cow. If something sees the cow then the cow chases the bald eagle. If something sees the cow and it is red then it is cold. If something chases the bald eagle then it is kind. If something is cold then it eats the bald eagle. If something eats the cow then the cow is nice. If the bald eagle is not nice and the bald eagle does not eat the cow then the bald eagle is kind.
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If something sees the bald eagle then it eats the cow.
((("something" "sees" "bald eagle" "+")) -> ("something" "eats" "cow" "+"))
If something is red then it eats the cow.
((("something" "is" "red" "+")) -> ("something" "eats" "cow" "+"))
If something sees the cow then the cow chases the bald eagle.
((("something" "sees" "cow" "+")) -> ("cow" "chases" "bald eagle" "+"))
If something sees the cow and it is red then it is cold.
((("something" "sees" "cow" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If something chases the bald eagle then it is kind.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
If something is cold then it eats the bald eagle.
((("something" "is" "cold" "+")) -> ("something" "eats" "bald eagle" "+"))
If something eats the cow then the cow is nice.
((("something" "eats" "cow" "+")) -> ("cow" "is" "nice" "+"))
If the bald eagle is not nice and the bald eagle does not eat the cow then the bald eagle is kind.
((("bald eagle" "is" "nice" "~") ("bald eagle" "eats" "cow" "~")) -> ("bald eagle" "is" "kind" "+"))
The bald eagle sees the cow.
True
1
proof
[(triple1)]
("bald eagle" "sees" "cow" "+")
triple1
The bald eagle does not see the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "sees" "cow" "-")
triple1
The cow eats the cow.
True
2
proof
[(((triple2) -> rule1))]
("cow" "eats" "cow" "+")
((triple2) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow does not eat the cow.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "eats" "cow" "-")
((triple2) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is nice.
True
3
proof
[(((((triple2) -> rule1)) -> rule7))]
("cow" "is" "nice" "+")
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow is not nice.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule7))]
("cow" "is" "nice" "-")
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@2: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The cow eats the bald eagle.
Unknown
rconc
[@2: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("cow" "eats" "bald eagle" "+")
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
The bald eagle does not chase the cow.
Unknown
inv-random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle sees the cow.[(triple1)] The cow sees the bald eagle.[(triple2)] @1: The cow chases the bald eagle.[(((triple1) -> rule3))] The cow eats the cow.[(((triple2) -> rule1))] @2: The cow is kind.[(((((triple1) -> rule3)) -> rule5))] The cow is nice.[(((((triple2) -> rule1)) -> rule7))]
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple2) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2