The bear is cold. The bear is kind. The bear is round. The bear visits the tiger. The tiger eats the bear. The tiger sees the bear. The tiger visits the bear. If something visits the tiger and the tiger eats the bear then the tiger visits the bear. If something is young and it visits the tiger then it is red. If the bear visits the tiger and the bear is kind then the bear eats the tiger. All young things are kind. If something is cold and it sees the tiger then the tiger sees the bear. If something is cold and young then it visits the tiger. If something sees the tiger and it is round then the tiger sees the bear. If the bear eats the tiger and the bear visits the tiger then the tiger is round.
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something visits the tiger and the tiger eats the bear then the tiger visits the bear.
((("something" "visits" "tiger" "+") ("tiger" "eats" "bear" "+")) -> ("tiger" "visits" "bear" "+"))
If something is young and it visits the tiger then it is red.
((("something" "is" "young" "+") ("something" "visits" "tiger" "+")) -> ("something" "is" "red" "+"))
If the bear visits the tiger and the bear is kind then the bear eats the tiger.
((("bear" "visits" "tiger" "+") ("bear" "is" "kind" "+")) -> ("bear" "eats" "tiger" "+"))
All young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is cold and it sees the tiger then the tiger sees the bear.
((("something" "is" "cold" "+") ("something" "sees" "tiger" "+")) -> ("tiger" "sees" "bear" "+"))
If something is cold and young then it visits the tiger.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "visits" "tiger" "+"))
If something sees the tiger and it is round then the tiger sees the bear.
((("something" "sees" "tiger" "+") ("something" "is" "round" "+")) -> ("tiger" "sees" "bear" "+"))
If the bear eats the tiger and the bear visits the tiger then the tiger is round.
((("bear" "eats" "tiger" "+") ("bear" "visits" "tiger" "+")) -> ("tiger" "is" "round" "+"))
The bear visits the tiger.
True
1
proof
[(triple4)]
("bear" "visits" "tiger" "+")
triple4
The bear is not round.
False
1
inv-proof
[(triple3)]
("bear" "is" "round" "-")
triple3
The bear eats the tiger.
True
3
proof
[(((triple4 triple2) -> rule3))]
("bear" "eats" "tiger" "+")
((triple4 triple2) -> (rule3 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear does not eat the tiger.
False
3
inv-proof
[(((triple4 triple2) -> rule3))]
("bear" "eats" "tiger" "-")
((triple4 triple2) -> (rule3 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "red" "-")
The tiger visits the tiger.
Unknown
rconc
[@1: The tiger visits the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "visits" "tiger" "+")
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 bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear is cold.[(triple1)] The bear is kind.[(triple2)] The bear is round.[(triple3)] The bear visits the tiger.[(triple4)] The tiger eats the bear.[(triple5)] The tiger sees the bear.[(triple6)] The tiger visits the bear.[(triple7 OR ((triple4 triple5) -> rule1))] @1: The bear eats the tiger.[(((triple4 triple2) -> rule3))] @2: The tiger is round.[(((((triple4 triple2) -> rule3) triple4) -> rule8))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple4
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple5
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple6
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple7
((triple4 triple5) -> (rule1 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
((triple4 triple2) -> (rule3 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
((((triple4 triple2) -> (rule3 % int2)) triple4) -> (rule8 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2