The bald eagle likes the cat. The bald eagle sees the cat. The bald eagle visits the cat. The cat is cold. The cat is rough. The cat likes the mouse. The mouse visits the bald eagle. If something sees the cat and the cat is cold then the cat visits the bald eagle. If something visits the bald eagle then the bald eagle likes the cat. If something visits the cat and the cat visits the bald eagle then it visits the mouse. If something is cold then it visits the cat. If something likes the cat then the cat is rough. If something visits the mouse and the mouse likes the cat then it is rough.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If something sees the cat and the cat is cold then the cat visits the bald eagle.
((("something" "sees" "cat" "+") ("cat" "is" "cold" "+")) -> ("cat" "visits" "bald eagle" "+"))
If something visits the bald eagle then the bald eagle likes the cat.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "likes" "cat" "+"))
If something visits the cat and the cat visits the bald eagle then it visits the mouse.
((("something" "visits" "cat" "+") ("cat" "visits" "bald eagle" "+")) -> ("something" "visits" "mouse" "+"))
If something is cold then it visits the cat.
((("something" "is" "cold" "+")) -> ("something" "visits" "cat" "+"))
If something likes the cat then the cat is rough.
((("something" "likes" "cat" "+")) -> ("cat" "is" "rough" "+"))
If something visits the mouse and the mouse likes the cat then it is rough.
((("something" "visits" "mouse" "+") ("mouse" "likes" "cat" "+")) -> ("something" "is" "rough" "+"))
The cat is cold.
True
1
proof
[(triple4)]
("cat" "is" "cold" "+")
triple4
The cat does not like the mouse.
False
1
inv-proof
[(triple6)]
("cat" "likes" "mouse" "-")
triple6
The cat visits the cat.
True
2
proof
[(((triple4) -> rule4))]
("cat" "visits" "cat" "+")
((triple4) -> (rule4 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat does not visit the cat.
False
2
inv-proof
[(((triple4) -> rule4))]
("cat" "visits" "cat" "-")
((triple4) -> (rule4 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The bald eagle visits the mouse.
True
5
proof
[(((triple3 ((triple2 triple4) -> rule1)) -> rule3))]
("bald eagle" "visits" "mouse" "+")
((triple3 ((triple2 triple4) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The bald eagle does not visit the mouse.
False
5
inv-proof
[(((triple3 ((triple2 triple4) -> rule1)) -> rule3))]
("bald eagle" "visits" "mouse" "-")
((triple3 ((triple2 triple4) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "rough" "-")
The mouse visits the mouse.
Unknown
rconc
[@2: The mouse visits the mouse.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("mouse" "visits" "mouse" "+")
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle sees the mouse.
Unknown
random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "+")
@0: The bald eagle likes the cat.[(triple1 OR ((triple7) -> rule2) OR ((((triple2 triple4) -> rule1)) -> rule2))] The bald eagle sees the cat.[(triple2)] The bald eagle visits the cat.[(triple3)] The cat is cold.[(triple4)] The cat is rough.[(triple5 OR ((triple1) -> rule5) OR ((((triple7) -> rule2)) -> rule5) OR ((((((triple2 triple4) -> rule1)) -> rule2)) -> rule5))] The cat likes the mouse.[(triple6)] The mouse visits the bald eagle.[(triple7)] @1: The cat visits the bald eagle.[(((triple2 triple4) -> rule1))] The cat visits the cat.[(((triple4) -> rule4))] @2: The bald eagle visits the mouse.[(((triple3 ((triple2 triple4) -> rule1)) -> rule3))] The cat visits the mouse.[(((((triple4) -> rule4) ((triple2 triple4) -> rule1)) -> rule3))]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
((triple7) -> (rule2 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
((((triple2 triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
((triple1) -> (rule5 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule5 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
((((((triple2 triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple6
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple7
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
((triple2 triple4) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
((triple4) -> (rule4 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
((triple3 ((triple2 triple4) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The cat visits the mouse.
("cat" "visits" "mouse" "+")
((((triple4) -> (rule4 % int3)) ((triple2 triple4) -> (rule1 % int2))) -> (rule3 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
int3