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