The bear chases the cat. The bear eats the cat. The bear eats the tiger. The bear is cold. The bear is green. The bear is young. The cat chases the bear. The cat is rough. The cat is young. The cat visits the bear. The cat visits the tiger. The tiger chases the bear. The tiger chases the cat. The tiger eats the cat. The tiger is cold. The tiger visits the cat. If something visits the tiger and the tiger is cold then the tiger chases the cat. If something eats the bear and it visits the bear then the bear eats the tiger. If something is young and it visits the bear then it eats the tiger. If something visits the bear then the bear visits the tiger. If something is cold then it visits the cat. If something visits the cat then the cat is cold. If something is rough and it eats the tiger then it chases the cat. If something is green then it chases the tiger.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is young.
("bear" "is" "young" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something visits the tiger and the tiger is cold then the tiger chases the cat.
((("something" "visits" "tiger" "+") ("tiger" "is" "cold" "+")) -> ("tiger" "chases" "cat" "+"))
If something eats the bear and it visits the bear then the bear eats the tiger.
((("something" "eats" "bear" "+") ("something" "visits" "bear" "+")) -> ("bear" "eats" "tiger" "+"))
If something is young and it visits the bear then it eats the tiger.
((("something" "is" "young" "+") ("something" "visits" "bear" "+")) -> ("something" "eats" "tiger" "+"))
If something visits the bear then the bear visits the tiger.
((("something" "visits" "bear" "+")) -> ("bear" "visits" "tiger" "+"))
If something is cold then it visits the cat.
((("something" "is" "cold" "+")) -> ("something" "visits" "cat" "+"))
If something visits the cat then the cat is cold.
((("something" "visits" "cat" "+")) -> ("cat" "is" "cold" "+"))
If something is rough and it eats the tiger then it chases the cat.
((("something" "is" "rough" "+") ("something" "eats" "tiger" "+")) -> ("something" "chases" "cat" "+"))
If something is green then it chases the tiger.
((("something" "is" "green" "+")) -> ("something" "chases" "tiger" "+"))
The tiger chases the cat.
True
1
proof
[(triple13 OR ((triple11 triple15) -> rule1) OR ((((triple10) -> rule4) triple15) -> rule1))]
("tiger" "chases" "cat" "+")
triple13
((triple11 triple15) -> (rule1 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
((((triple10) -> (rule4 % int2)) triple15) -> (rule1 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int2
The bear is not young.
False
1
inv-proof
[(triple6)]
("bear" "is" "young" "-")
triple6
The cat is cold.
True
2
proof
[(((triple16) -> rule6) OR ((((triple15) -> rule5)) -> rule6) OR ((((triple4) -> rule5)) -> rule6))]
("cat" "is" "cold" "+")
((triple16) -> (rule6 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((((triple15) -> (rule5 % int2))) -> (rule6 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The bear does not chase the tiger.
False
2
inv-proof
[(((triple5) -> rule8))]
("bear" "chases" "tiger" "-")
((triple5) -> (rule8 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger chases the tiger.
Unknown
rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "chases" "tiger" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2)] The bear eats the tiger.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear is young.[(triple6)] The cat chases the bear.[(triple7)] The cat is rough.[(triple8)] The cat is young.[(triple9)] The cat visits the bear.[(triple10)] The cat visits the tiger.[(triple11)] The tiger chases the bear.[(triple12)] The tiger chases the cat.[(triple13 OR ((triple11 triple15) -> rule1) OR ((((triple10) -> rule4) triple15) -> rule1))] The tiger eats the cat.[(triple14)] The tiger is cold.[(triple15)] The tiger visits the cat.[(triple16 OR ((triple15) -> rule5))] @1: The bear chases the tiger.[(((triple5) -> rule8))] The bear visits the cat.[(((triple4) -> rule5))] The bear visits the tiger.[(((triple10) -> rule4))] The cat eats the tiger.[(((triple9 triple10) -> rule3))] The cat is cold.[(((triple16) -> rule6) OR ((((triple15) -> rule5)) -> rule6) OR ((((triple4) -> rule5)) -> rule6))] @2: The cat chases the cat.[(((triple8 ((triple9 triple10) -> rule3)) -> rule7))] The cat visits the cat.[(((((triple16) -> rule6)) -> rule5) OR ((((((triple15) -> rule5)) -> rule6)) -> rule5) OR ((((((triple4) -> rule5)) -> rule6)) -> rule5))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear eats the cat.
("bear" "eats" "cat" "+")
triple2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The cat chases the bear.
("cat" "chases" "bear" "+")
triple7
The cat is rough.
("cat" "is" "rough" "+")
triple8
The cat is young.
("cat" "is" "young" "+")
triple9
The cat visits the bear.
("cat" "visits" "bear" "+")
triple10
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple11
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple12
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple13
((triple11 triple15) -> (rule1 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
((((triple10) -> (rule4 % int2)) triple15) -> (rule1 % int1))
The tiger chases the cat.
("tiger" "chases" "cat" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int2
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple14
The tiger is cold.
("tiger" "is" "cold" "+")
triple15
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple16
((triple15) -> (rule5 % int1))
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
((triple5) -> (rule8 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
((triple4) -> (rule5 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
((triple10) -> (rule4 % int1))
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
((triple9 triple10) -> (rule3 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
((triple16) -> (rule6 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((((triple15) -> (rule5 % int2))) -> (rule6 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int2
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple8 ((triple9 triple10) -> (rule3 % int2))) -> (rule7 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
((((triple16) -> (rule6 % int2))) -> (rule5 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
((((((triple15) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The tiger visits the cat.
("tiger" "visits" "cat" "+")
int3
((((((triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bear visits the cat.
("bear" "visits" "cat" "+")
int3