The bald eagle is nice. The cat chases the bald eagle. The lion chases the cat. If something is green and it needs the bald eagle then it visits the cat. If something is blue then it visits the lion. If something needs the lion then it is nice. If something needs the lion and it needs the cat then it visits the cat. If the cat is nice then the cat visits the lion. If something visits the bald eagle then the bald eagle chases the cat. If something chases the cat then the cat needs the lion. If something visits the bald eagle and it is nice then it visits the cat.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
If something is green and it needs the bald eagle then it visits the cat.
((("something" "is" "green" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "visits" "cat" "+"))
If something is blue then it visits the lion.
((("something" "is" "blue" "+")) -> ("something" "visits" "lion" "+"))
If something needs the lion then it is nice.
((("something" "needs" "lion" "+")) -> ("something" "is" "nice" "+"))
If something needs the lion and it needs the cat then it visits the cat.
((("something" "needs" "lion" "+") ("something" "needs" "cat" "+")) -> ("something" "visits" "cat" "+"))
If the cat is nice then the cat visits the lion.
((("cat" "is" "nice" "+")) -> ("cat" "visits" "lion" "+"))
If something visits the bald eagle then the bald eagle chases the cat.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "+"))
If something chases the cat then the cat needs the lion.
((("something" "chases" "cat" "+")) -> ("cat" "needs" "lion" "+"))
If something visits the bald eagle and it is nice then it visits the cat.
((("something" "visits" "bald eagle" "+") ("something" "is" "nice" "+")) -> ("something" "visits" "cat" "+"))
The lion chases the cat.
True
1
proof
[(triple3)]
("lion" "chases" "cat" "+")
triple3
The cat does not chase the bald eagle.
False
1
inv-proof
[(triple2)]
("cat" "chases" "bald eagle" "-")
triple2
The cat needs the lion.
True
2
proof
[(((triple3) -> rule7))]
("cat" "needs" "lion" "+")
((triple3) -> (rule7 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat does not need the lion.
False
2
inv-proof
[(((triple3) -> rule7))]
("cat" "needs" "lion" "-")
((triple3) -> (rule7 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat is nice.
True
3
proof
[(((((triple3) -> rule7)) -> rule3))]
("cat" "is" "nice" "+")
((((triple3) -> (rule7 % int2))) -> (rule3 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
int2
The cat is not nice.
False
3
inv-proof
[(((((triple3) -> rule7)) -> rule3))]
("cat" "is" "nice" "-")
((((triple3) -> (rule7 % int2))) -> (rule3 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
int2
The bald eagle does not visit the cat.
Unknown
inv-rconc
[@1: The bald eagle visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "cat" "-")
The cat visits the cat.
Unknown
rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "visits" "cat" "+")
The lion does not visit the cat.
Unknown
inv-rconc
[@1: The lion visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "cat" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The bald eagle chases the lion.
Unknown
random
[@0: The bald eagle chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "lion" "+")
@0: The bald eagle is nice.[(triple1)] The cat chases the bald eagle.[(triple2)] The lion chases the cat.[(triple3)] @1: The cat needs the lion.[(((triple3) -> rule7))] @2: The cat is nice.[(((((triple3) -> rule7)) -> rule3))] @3: The cat visits the lion.[(((((((triple3) -> rule7)) -> rule3)) -> rule5))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple2
The lion chases the cat.
("lion" "chases" "cat" "+")
triple3
The cat needs the lion.
("cat" "needs" "lion" "+")
((triple3) -> (rule7 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
((((triple3) -> (rule7 % int2))) -> (rule3 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
int2
The cat visits the lion.
("cat" "visits" "lion" "+")
((((((triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat needs the lion.
("cat" "needs" "lion" "+")
int3