The bald eagle is round. The bald eagle sees the cow. The bald eagle sees the rabbit. The cat is nice. The cat needs the cow. The cat needs the rabbit. The cat sees the bald eagle. The cat sees the cow. The cow is not round. The cow needs the cat. The cow sees the bald eagle. The cow sees the rabbit. The rabbit is cold. The rabbit likes the bald eagle. The rabbit needs the bald eagle. If someone needs the rabbit and they do not like the bald eagle then the rabbit is nice. If someone likes the cow then the cow sees the cat. If the cow is round then the cow sees the cat. If someone needs the bald eagle then the bald eagle sees the rabbit. If someone needs the bald eagle then the bald eagle is blue. If the cat is red and the bald eagle does not see the cat then the bald eagle is cold. If someone is blue then they like the cow. If someone sees the cow then the cow needs the cat.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow is not round.
("cow" "is" "round" "-")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If someone needs the rabbit and they do not like the bald eagle then the rabbit is nice.
((("someone" "needs" "rabbit" "+") ("someone" "likes" "bald eagle" "~")) -> ("rabbit" "is" "nice" "+"))
If someone likes the cow then the cow sees the cat.
((("someone" "likes" "cow" "+")) -> ("cow" "sees" "cat" "+"))
If the cow is round then the cow sees the cat.
((("cow" "is" "round" "+")) -> ("cow" "sees" "cat" "+"))
If someone needs the bald eagle then the bald eagle sees the rabbit.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
If someone needs the bald eagle then the bald eagle is blue.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If the cat is red and the bald eagle does not see the cat then the bald eagle is cold.
((("cat" "is" "red" "+") ("bald eagle" "sees" "cat" "~")) -> ("bald eagle" "is" "cold" "+"))
If someone is blue then they like the cow.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "cow" "+"))
If someone sees the cow then the cow needs the cat.
((("someone" "sees" "cow" "+")) -> ("cow" "needs" "cat" "+"))
The cat needs the rabbit.
True
1
proof
[(triple6)]
("cat" "needs" "rabbit" "+")
triple6
The cat does not need the cow.
False
1
inv-proof
[(triple5)]
("cat" "needs" "cow" "-")
triple5
The bald eagle is blue.
True
2
proof
[(((triple15) -> rule5))]
("bald eagle" "is" "blue" "+")
((triple15) -> (rule5 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is not blue.
False
2
inv-proof
[(((triple15) -> rule5))]
("bald eagle" "is" "blue" "-")
((triple15) -> (rule5 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle likes the cow.
True
3
proof
[(((((triple15) -> rule5)) -> rule7))]
("bald eagle" "likes" "cow" "+")
((((triple15) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle does not like the cow.
False
3
inv-proof
[(((((triple15) -> rule5)) -> rule7))]
("bald eagle" "likes" "cow" "-")
((((triple15) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The cow sees the cat.
True
4
proof
[(((((((triple15) -> rule5)) -> rule7)) -> rule2))]
("cow" "sees" "cat" "+")
((((((triple15) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The cow does not see the cat.
False
4
inv-proof
[(((((((triple15) -> rule5)) -> rule7)) -> rule2))]
("cow" "sees" "cat" "-")
((((((triple15) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The cat likes the cow.
Unknown
rconc
[@1: The cat likes the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "likes" "cow" "+")
The rabbit does not like the cow.
Unknown
inv-rconc
[@1: The rabbit likes the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "likes" "cow" "-")
The rabbit is nice.
Unknown
rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "nice" "+")
The cat does not need the bald eagle.
Unknown
inv-random
[@0: The cat needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bald eagle" "-")
The rabbit sees the bald eagle.
Unknown
random
[@0: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bald eagle" "+")
The rabbit does not see the cow.
Unknown
inv-random
[@0: The rabbit sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "cow" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle sees the cow.[(triple2)] The bald eagle sees the rabbit.[(triple3 OR ((triple15) -> rule4))] The cat is nice.[(triple4)] The cat needs the cow.[(triple5)] The cat needs the rabbit.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat sees the cow.[(triple8)] The cow is not round.[(triple9)] The cow needs the cat.[(triple10 OR ((triple2) -> rule8) OR ((triple8) -> rule8))] The cow sees the bald eagle.[(triple11)] The cow sees the rabbit.[(triple12)] The rabbit is cold.[(triple13)] The rabbit likes the bald eagle.[(triple14)] The rabbit needs the bald eagle.[(triple15)] @1: The bald eagle is blue.[(((triple15) -> rule5))] @2: The bald eagle likes the cow.[(((((triple15) -> rule5)) -> rule7))] @3: The cow sees the cat.[(((((((triple15) -> rule5)) -> rule7)) -> rule2))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple3
((triple15) -> (rule4 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat needs the cow.
("cat" "needs" "cow" "+")
triple5
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple6
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple7
The cat sees the cow.
("cat" "sees" "cow" "+")
triple8
The cow is not round.
("cow" "is" "round" "-")
triple9
The cow needs the cat.
("cow" "needs" "cat" "+")
triple10
((triple2) -> (rule8 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
((triple8) -> (rule8 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple11
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple12
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple13
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple14
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple15
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple15) -> (rule5 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
((((triple15) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The cow sees the cat.
("cow" "sees" "cat" "+")
((((((triple15) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3