The bald eagle chases the cat. The bald eagle is blue. The bald eagle is cold. The bald eagle is kind. The bald eagle is nice. The bald eagle is not young. The bald eagle sees the cat. The bald eagle does not visit the cat. The cat chases the bald eagle. The cat is cold. The cat is kind. The cat is nice. The cat is young. The cat does not see the bald eagle. The cat visits the bald eagle. All blue people are cold. If someone sees the cat then they do not see the bald eagle. If someone is blue and not nice then they visit the bald eagle. If someone chases the cat then they visit the bald eagle. If someone sees the bald eagle then they do not visit the bald eagle. If the bald eagle is blue and the bald eagle is not nice then the bald eagle visits the cat. If someone visits the bald eagle then they are blue. If someone sees the cat and the cat does not visit the bald eagle then they visit the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
The cat does not see the bald eagle.
("cat" "sees" "bald eagle" "-")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone sees the cat then they do not see the bald eagle.
((("someone" "sees" "cat" "+")) -> ("someone" "sees" "bald eagle" "-"))
If someone is blue and not nice then they visit the bald eagle.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "~")) -> ("someone" "visits" "bald eagle" "+"))
If someone chases the cat then they visit the bald eagle.
((("someone" "chases" "cat" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone sees the bald eagle then they do not visit the bald eagle.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "visits" "bald eagle" "-"))
If the bald eagle is blue and the bald eagle is not nice then the bald eagle visits the cat.
((("bald eagle" "is" "blue" "+") ("bald eagle" "is" "nice" "~")) -> ("bald eagle" "visits" "cat" "+"))
If someone visits the bald eagle then they are blue.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
If someone sees the cat and the cat does not visit the bald eagle then they visit the cat.
((("someone" "sees" "cat" "+") ("cat" "visits" "bald eagle" "~")) -> ("someone" "visits" "cat" "+"))
The cat is cold.
True
1
proof
[(triple10 OR ((((triple15) -> rule7)) -> rule1))]
("cat" "is" "cold" "+")
triple10
((((triple15) -> (rule7 % int2))) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The bald eagle is not cold.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule1) OR ((((((triple1) -> rule4)) -> rule7)) -> rule1))]
("bald eagle" "is" "cold" "-")
triple3
((triple2) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
((((((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The cat is blue.
True
2
proof
[(((triple15) -> rule7))]
("cat" "is" "blue" "+")
((triple15) -> (rule7 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The bald eagle does not visit the bald eagle.
False
2
inv-proof
[(((triple1) -> rule4))]
("bald eagle" "visits" "bald eagle" "-")
((triple1) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The cat does not visit the cat.
Unknown
inv-rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "visits" "cat" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not visit the cat.[(triple8)] The bald eagle is blue.[(triple2 OR ((((triple1) -> rule4)) -> rule7))] The bald eagle is cold.[(triple3 OR ((triple2) -> rule1) OR ((((((triple1) -> rule4)) -> rule7)) -> rule1))] The bald eagle is kind.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is not young.[(triple6)] The bald eagle sees the cat.[(triple7)] The cat chases the bald eagle.[(triple9)] The cat does not see the bald eagle.[(triple14)] The cat is cold.[(triple10 OR ((((triple15) -> rule7)) -> rule1))] The cat is kind.[(triple11)] The cat is nice.[(triple12)] The cat is young.[(triple13)] The cat visits the bald eagle.[(triple15)] @1: The bald eagle does not see the bald eagle.[(((triple7) -> rule2))] The bald eagle visits the bald eagle.[(((triple1) -> rule4))] The cat is blue.[(((triple15) -> rule7))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
triple8
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
((triple2) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
((((((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple5
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple6
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple7
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple9
The cat does not see the bald eagle.
("cat" "sees" "bald eagle" "-")
triple14
The cat is cold.
("cat" "is" "cold" "+")
triple10
((((triple15) -> (rule7 % int2))) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
triple11
The cat is nice.
("cat" "is" "nice" "+")
triple12
The cat is young.
("cat" "is" "young" "+")
triple13
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple15
The bald eagle does not see the bald eagle.
("bald eagle" "sees" "bald eagle" "-")
((triple7) -> (rule2 % int1))
The bald eagle does not see the bald eagle.
("bald eagle" "sees" "bald eagle" "-")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple1) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
((triple15) -> (rule7 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1