The bald eagle chases the cat. The bald eagle is red. The bald eagle needs the cat. The bald eagle sees the cat. The cat chases the bald eagle. The cat is green. The cat is kind. The cat is young. The cat needs the bald eagle. The cat sees the bald eagle. If someone sees the cat then they chase the cat. If someone needs the bald eagle then the bald eagle sees the cat. If someone chases the cat then the cat is kind. If someone needs the cat then they chase the cat. If someone is rough then they see the bald eagle. If someone is young then they see the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
If someone sees the cat then they chase the cat.
((("someone" "sees" "cat" "+")) -> ("someone" "chases" "cat" "+"))
If someone needs the bald eagle then the bald eagle sees the cat.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "sees" "cat" "+"))
If someone chases the cat then the cat is kind.
((("someone" "chases" "cat" "+")) -> ("cat" "is" "kind" "+"))
If someone needs the cat then they chase the cat.
((("someone" "needs" "cat" "+")) -> ("someone" "chases" "cat" "+"))
If someone is rough then they see the bald eagle.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is young then they see the cat.
((("someone" "is" "young" "+")) -> ("someone" "sees" "cat" "+"))
The cat needs the bald eagle.
True
1
proof
[(triple9)]
("cat" "needs" "bald eagle" "+")
triple9
The cat is not kind.
False
1
inv-proof
[(triple7 OR ((triple1) -> rule3) OR ((((triple3) -> rule4)) -> rule3) OR ((((triple4) -> rule1)) -> rule3) OR ((((((triple8) -> rule6)) -> rule1)) -> rule3) OR ((((((triple9) -> rule2)) -> rule1)) -> rule3))]
("cat" "is" "kind" "-")
triple7
((triple1) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat sees the cat.
("cat" "sees" "cat" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int3
The cat sees the cat.
True
2
proof
[(((triple8) -> rule6))]
("cat" "sees" "cat" "+")
((triple8) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat does not see the cat.
False
2
inv-proof
[(((triple8) -> rule6))]
("cat" "sees" "cat" "-")
((triple8) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat chases the cat.
True
3
proof
[(((((triple8) -> rule6)) -> rule1))]
("cat" "chases" "cat" "+")
((((triple8) -> (rule6 % int2))) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat does not chase the cat.
False
3
inv-proof
[(((((triple8) -> rule6)) -> rule1))]
("cat" "chases" "cat" "-")
((((triple8) -> (rule6 % int2))) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
@0: The bald eagle chases the cat.[(triple1 OR ((triple3) -> rule4) OR ((triple4) -> rule1) OR ((((triple9) -> rule2)) -> rule1))] The bald eagle is red.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle sees the cat.[(triple4 OR ((triple9) -> rule2))] The cat chases the bald eagle.[(triple5)] The cat is green.[(triple6)] The cat is kind.[(triple7 OR ((triple1) -> rule3) OR ((((triple3) -> rule4)) -> rule3) OR ((((triple4) -> rule1)) -> rule3) OR ((((((triple8) -> rule6)) -> rule1)) -> rule3) OR ((((((triple9) -> rule2)) -> rule1)) -> rule3))] The cat is young.[(triple8)] The cat needs the bald eagle.[(triple9)] The cat sees the bald eagle.[(triple10)] @1: The cat sees the cat.[(((triple8) -> rule6))] @2: The cat chases the cat.[(((((triple8) -> rule6)) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
((triple3) -> (rule4 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
((triple4) -> (rule1 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple3
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple4
((triple9) -> (rule2 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat is kind.
("cat" "is" "kind" "+")
triple7
((triple1) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat sees the cat.
("cat" "sees" "cat" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int3
The cat is young.
("cat" "is" "young" "+")
triple8
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple9
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple10
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple8) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
((((triple8) -> (rule6 % int2))) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2