The bear chases the rabbit. The bear chases the tiger. The bear eats the rabbit. The bear eats the tiger. The bear is big. The bear visits the rabbit. The bear visits the tiger. The rabbit is big. The tiger chases the bear. The tiger chases the rabbit. The tiger is big. The tiger is cold. The tiger is nice. The tiger is red. The tiger visits the bear. The tiger visits the rabbit. If the rabbit visits the bear then the bear is young.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If the rabbit visits the bear then the bear is young.
((("rabbit" "visits" "bear" "+")) -> ("bear" "is" "young" "+"))
The bear eats the tiger.
True
1
proof
[(triple4)]
("bear" "eats" "tiger" "+")
triple4
The tiger is not big.
False
1
inv-proof
[(triple11)]
("tiger" "is" "big" "-")
triple11
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "young" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The bear chases the rabbit.[(triple1)] The bear chases the tiger.[(triple2)] The bear eats the rabbit.[(triple3)] The bear eats the tiger.[(triple4)] The bear is big.[(triple5)] The bear visits the rabbit.[(triple6)] The bear visits the tiger.[(triple7)] The rabbit is big.[(triple8)] The tiger chases the bear.[(triple9)] The tiger chases the rabbit.[(triple10)] The tiger is big.[(triple11)] The tiger is cold.[(triple12)] The tiger is nice.[(triple13)] The tiger is red.[(triple14)] The tiger visits the bear.[(triple15)] The tiger visits the rabbit.[(triple16)]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple3
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple6
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple9
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple11
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger is red.
("tiger" "is" "red" "+")
triple14
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple15
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple16