The bear is green. The bear is red. The bear sees the lion. The bear visits the lion. The lion is rough. The lion likes the bear. The lion sees the bear. If someone is rough and they visit the lion then the lion likes the bear. If someone likes the lion and they are nice then they like the bear. If someone sees the bear and the bear likes the lion then the bear sees the lion. If someone is rough then they see the bear. If the bear sees the lion and the bear visits the lion then the bear likes the lion. If the bear likes the lion and the bear visits the lion then the bear is cold. If someone visits the lion then the lion sees the bear. If someone is cold then they like the bear.
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
If someone is rough and they visit the lion then the lion likes the bear.
((("someone" "is" "rough" "+") ("someone" "visits" "lion" "+")) -> ("lion" "likes" "bear" "+"))
If someone likes the lion and they are nice then they like the bear.
((("someone" "likes" "lion" "+") ("someone" "is" "nice" "+")) -> ("someone" "likes" "bear" "+"))
If someone sees the bear and the bear likes the lion then the bear sees the lion.
((("someone" "sees" "bear" "+") ("bear" "likes" "lion" "+")) -> ("bear" "sees" "lion" "+"))
If someone is rough then they see the bear.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "bear" "+"))
If the bear sees the lion and the bear visits the lion then the bear likes the lion.
((("bear" "sees" "lion" "+") ("bear" "visits" "lion" "+")) -> ("bear" "likes" "lion" "+"))
If the bear likes the lion and the bear visits the lion then the bear is cold.
((("bear" "likes" "lion" "+") ("bear" "visits" "lion" "+")) -> ("bear" "is" "cold" "+"))
If someone visits the lion then the lion sees the bear.
((("someone" "visits" "lion" "+")) -> ("lion" "sees" "bear" "+"))
If someone is cold then they like the bear.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "bear" "+"))
The lion sees the bear.
True
1
proof
[(triple7 OR ((triple4) -> rule7) OR ((triple5) -> rule4))]
("lion" "sees" "bear" "+")
triple7
((triple4) -> (rule7 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
((triple5) -> (rule4 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The lion is not rough.
False
1
inv-proof
[(triple5)]
("lion" "is" "rough" "-")
triple5
The bear likes the lion.
True
3
proof
[(((triple3 triple4) -> rule5))]
("bear" "likes" "lion" "+")
((triple3 triple4) -> (rule5 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear does not like the lion.
False
3
inv-proof
[(((triple3 triple4) -> rule5))]
("bear" "likes" "lion" "-")
((triple3 triple4) -> (rule5 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear is cold.
True
5
proof
[(((((triple3 triple4) -> rule5) triple4) -> rule6))]
("bear" "is" "cold" "+")
((((triple3 triple4) -> (rule5 % int2)) triple4) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear likes the lion.
("bear" "likes" "lion" "+")
int2
The bear is not cold.
False
5
inv-proof
[(((((triple3 triple4) -> rule5) triple4) -> rule6))]
("bear" "is" "cold" "-")
((((triple3 triple4) -> (rule5 % int2)) triple4) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear likes the lion.
("bear" "likes" "lion" "+")
int2
The bear likes the bear.
True
6
proof
[(((((((triple3 triple4) -> rule5) triple4) -> rule6)) -> rule8))]
("bear" "likes" "bear" "+")
((((((triple3 triple4) -> (rule5 % int3)) triple4) -> (rule6 % int2))) -> (rule8 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear likes the lion.
("bear" "likes" "lion" "+")
int3
The bear does not like the bear.
False
6
inv-proof
[(((((((triple3 triple4) -> rule5) triple4) -> rule6)) -> rule8))]
("bear" "likes" "bear" "-")
((((((triple3 triple4) -> (rule5 % int3)) triple4) -> (rule6 % int2))) -> (rule8 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear likes the lion.
("bear" "likes" "lion" "+")
int3
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "sees" "bear" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
The lion is not red.
Unknown
inv-random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
@0: The bear is green.[(triple1)] The bear is red.[(triple2)] The bear sees the lion.[(triple3)] The bear visits the lion.[(triple4)] The lion is rough.[(triple5)] The lion likes the bear.[(triple6)] The lion sees the bear.[(triple7 OR ((triple4) -> rule7) OR ((triple5) -> rule4))] @1: The bear likes the lion.[(((triple3 triple4) -> rule5))] @2: The bear is cold.[(((((triple3 triple4) -> rule5) triple4) -> rule6))] @3: The bear likes the bear.[(((((((triple3 triple4) -> rule5) triple4) -> rule6)) -> rule8))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear sees the lion.
("bear" "sees" "lion" "+")
triple3
The bear visits the lion.
("bear" "visits" "lion" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The lion likes the bear.
("lion" "likes" "bear" "+")
triple6
The lion sees the bear.
("lion" "sees" "bear" "+")
triple7
((triple4) -> (rule7 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
((triple5) -> (rule4 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The bear likes the lion.
("bear" "likes" "lion" "+")
((triple3 triple4) -> (rule5 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
((((triple3 triple4) -> (rule5 % int2)) triple4) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear likes the lion.
("bear" "likes" "lion" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
((((((triple3 triple4) -> (rule5 % int3)) triple4) -> (rule6 % int2))) -> (rule8 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear likes the lion.
("bear" "likes" "lion" "+")
int3