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