The bald eagle is young. The bear is young. The dog chases the bear. If something is kind and it likes the bald eagle then it chases the dog. If something is young and it visits the bald eagle then the bald eagle chases the dog. If something visits the bear then the bear is cold. If something is kind and young then it visits the bear. If something is young then it visits the bear. If something visits the dog and it visits the bear then the dog is red.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear is young.
("bear" "is" "young" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
If something is kind and it likes the bald eagle then it chases the dog.
((("something" "is" "kind" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "chases" "dog" "+"))
If something is young and it visits the bald eagle then the bald eagle chases the dog.
((("something" "is" "young" "+") ("something" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "dog" "+"))
If something visits the bear then the bear is cold.
((("something" "visits" "bear" "+")) -> ("bear" "is" "cold" "+"))
If something is kind and young then it visits the bear.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "visits" "bear" "+"))
If something is young then it visits the bear.
((("something" "is" "young" "+")) -> ("something" "visits" "bear" "+"))
If something visits the dog and it visits the bear then the dog is red.
((("something" "visits" "dog" "+") ("something" "visits" "bear" "+")) -> ("dog" "is" "red" "+"))
The dog chases the bear.
True
1
proof
[(triple3)]
("dog" "chases" "bear" "+")
triple3
The bear is not young.
False
1
inv-proof
[(triple2)]
("bear" "is" "young" "-")
triple2
The bald eagle visits the bear.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "visits" "bear" "+")
((triple1) -> (rule5 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle does not visit the bear.
False
2
inv-proof
[(((triple1) -> rule5))]
("bald eagle" "visits" "bear" "-")
((triple1) -> (rule5 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear is cold.
True
3
proof
[(((((triple1) -> rule5)) -> rule3) OR ((((triple2) -> rule5)) -> rule3))]
("bear" "is" "cold" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The bear is not cold.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule3) OR ((((triple2) -> rule5)) -> rule3))]
("bear" "is" "cold" "-")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The bald eagle does not chase the dog.
Unknown
inv-rconc
[@1: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "dog" "-")
The dog chases the dog.
Unknown
rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "dog" "+")
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "red" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bald eagle is young.[(triple1)] The bear is young.[(triple2)] The dog chases the bear.[(triple3)] @1: The bald eagle visits the bear.[(((triple1) -> rule5))] The bear visits the bear.[(((triple2) -> rule5))] @2: The bear is cold.[(((((triple1) -> rule5)) -> rule3) OR ((((triple2) -> rule5)) -> rule3))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The dog chases the bear.
("dog" "chases" "bear" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((triple1) -> (rule5 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple2) -> (rule5 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2