The bear likes the rabbit. The rabbit eats the bear. The rabbit is red. The rabbit is rough. The rabbit is young. The rabbit likes the bear. The rabbit visits the bear. If someone is young and rough then they eat the bear. If the rabbit is young and the rabbit likes the bear then the bear visits the rabbit. If someone eats the rabbit then they like the bear.
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone is young and rough then they eat the bear.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "eats" "bear" "+"))
If the rabbit is young and the rabbit likes the bear then the bear visits the rabbit.
((("rabbit" "is" "young" "+") ("rabbit" "likes" "bear" "+")) -> ("bear" "visits" "rabbit" "+"))
If someone eats the rabbit then they like the bear.
((("someone" "eats" "rabbit" "+")) -> ("someone" "likes" "bear" "+"))
The rabbit is rough.
True
1
proof
[(triple4)]
("rabbit" "is" "rough" "+")
triple4
The rabbit is not rough.
False
1
inv-proof
[(triple4)]
("rabbit" "is" "rough" "-")
triple4
The bear visits the rabbit.
True
3
proof
[(((triple5 triple6) -> rule2))]
("bear" "visits" "rabbit" "+")
((triple5 triple6) -> (rule2 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear does not visit the rabbit.
False
3
inv-proof
[(((triple5 triple6) -> rule2))]
("bear" "visits" "rabbit" "-")
((triple5 triple6) -> (rule2 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "bear" "-")
The bear likes the bear.
Unknown
rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "likes" "bear" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
@0: The bear likes the rabbit.[(triple1)] The rabbit eats the bear.[(triple2 OR ((triple5 triple4) -> rule1))] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is young.[(triple5)] The rabbit likes the bear.[(triple6)] The rabbit visits the bear.[(triple7)] @1: The bear visits the rabbit.[(((triple5 triple6) -> rule2))]
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple2
((triple5 triple4) -> (rule1 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple6
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple7
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
((triple5 triple6) -> (rule2 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1