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