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