The bald eagle chases the cat. The bald eagle is nice. The bald eagle sees the cat. The cat chases the bald eagle. The cat chases the cow. The cat is cold. The cat is green. The cat is nice. The cat is round. The cat sees the bald eagle. The cat sees the cow. The cow chases the bald eagle. The cow chases the cat. The cow needs the cat. The cow sees the bald eagle. If someone needs the cat then they see the cat. If someone sees the cat then they are round.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If someone needs the cat then they see the cat.
((("someone" "needs" "cat" "+")) -> ("someone" "sees" "cat" "+"))
If someone sees the cat then they are round.
((("someone" "sees" "cat" "+")) -> ("someone" "is" "round" "+"))
The bald eagle sees the cat.
True
1
proof
[(triple3)]
("bald eagle" "sees" "cat" "+")
triple3
The cat does not see the bald eagle.
False
1
inv-proof
[(triple10)]
("cat" "sees" "bald eagle" "-")
triple10
The bald eagle is round.
True
2
proof
[(((triple3) -> rule2))]
("bald eagle" "is" "round" "+")
((triple3) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is not round.
False
2
inv-proof
[(((triple3) -> rule2))]
("bald eagle" "is" "round" "-")
((triple3) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cow is round.
True
3
proof
[(((((triple14) -> rule1)) -> rule2))]
("cow" "is" "round" "+")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow sees the cat.
("cow" "sees" "cat" "+")
int2
The cow is not round.
False
3
inv-proof
[(((((triple14) -> rule1)) -> rule2))]
("cow" "is" "round" "-")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow sees the cat.
("cow" "sees" "cat" "+")
int2
The cat does not see the cat.
Unknown
inv-rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "cat" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
The cat does not need the cow.
Unknown
inv-random
[@0: The cat needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cow" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The cow does not need the bald eagle.
Unknown
inv-random
[@0: The cow needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bald eagle" "-")
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" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle sees the cat.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat chases the cow.[(triple5)] The cat is cold.[(triple6)] The cat is green.[(triple7)] The cat is nice.[(triple8)] The cat is round.[(triple9)] The cat sees the bald eagle.[(triple10)] The cat sees the cow.[(triple11)] The cow chases the bald eagle.[(triple12)] The cow chases the cat.[(triple13)] The cow needs the cat.[(triple14)] The cow sees the bald eagle.[(triple15)] @1: The bald eagle is round.[(((triple3) -> rule2))] The cow sees the cat.[(((triple14) -> rule1))] @2: The cow is round.[(((((triple14) -> rule1)) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat chases the cow.
("cat" "chases" "cow" "+")
triple5
The cat is cold.
("cat" "is" "cold" "+")
triple6
The cat is green.
("cat" "is" "green" "+")
triple7
The cat is nice.
("cat" "is" "nice" "+")
triple8
The cat is round.
("cat" "is" "round" "+")
triple9
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple10
The cat sees the cow.
("cat" "sees" "cow" "+")
triple11
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple12
The cow chases the cat.
("cow" "chases" "cat" "+")
triple13
The cow needs the cat.
("cow" "needs" "cat" "+")
triple14
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple15
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple3) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cow sees the cat.
("cow" "sees" "cat" "+")
((triple14) -> (rule1 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The cow is round.
("cow" "is" "round" "+")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow sees the cat.
("cow" "sees" "cat" "+")
int2