The bald eagle is red. The bald eagle likes the tiger. The bald eagle needs the rabbit. The dog is green. The dog likes the bald eagle. The rabbit sees the bald eagle. The tiger is not green. If someone sees the bald eagle then the bald eagle sees the rabbit. If someone needs the rabbit and they need the tiger then they are nice. If someone needs the rabbit then the rabbit is green. If someone needs the dog then they are red. All big, green people are red. If someone sees the rabbit then the rabbit does not need the tiger.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The tiger is not green.
("tiger" "is" "green" "-")
If someone sees the bald eagle then the bald eagle sees the rabbit.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
If someone needs the rabbit and they need the tiger then they are nice.
((("someone" "needs" "rabbit" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "is" "nice" "+"))
If someone needs the rabbit then the rabbit is green.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "is" "green" "+"))
If someone needs the dog then they are red.
((("someone" "needs" "dog" "+")) -> ("someone" "is" "red" "+"))
All big, green people are red.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone sees the rabbit then the rabbit does not need the tiger.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "needs" "tiger" "-"))
The tiger is not green.
True
1
proof
[(triple7)]
("tiger" "is" "green" "-")
triple7
The dog is not green.
False
1
inv-proof
[(triple4)]
("dog" "is" "green" "-")
triple4
The rabbit is green.
True
2
proof
[(((triple3) -> rule3))]
("rabbit" "is" "green" "+")
((triple3) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is not green.
False
2
inv-proof
[(((triple3) -> rule3))]
("rabbit" "is" "green" "-")
((triple3) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit does not need the tiger.
True
3
proof
[(((((triple6) -> rule1)) -> rule6))]
("rabbit" "needs" "tiger" "-")
((((triple6) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The rabbit needs the tiger.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule6))]
("rabbit" "needs" "tiger" "+")
((((triple6) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The dog is red.
Unknown
rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "red" "+")
The rabbit is not red.
Unknown
inv-rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "red" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
The tiger does not like the dog.
Unknown
inv-random
[@0: The tiger likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "dog" "-")
The tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The dog is green.[(triple4)] The dog likes the bald eagle.[(triple5)] The rabbit sees the bald eagle.[(triple6)] The tiger is not green.[(triple7)] @1: The bald eagle sees the rabbit.[(((triple6) -> rule1))] The rabbit is green.[(((triple3) -> rule3))] @2: The rabbit does not need the tiger.[(((((triple6) -> rule1)) -> rule6))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple5
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple6
The tiger is not green.
("tiger" "is" "green" "-")
triple7
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
((triple6) -> (rule1 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((triple3) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
((((triple6) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2