The bear sees the cow. The bear sees the dog. The bear does not see the tiger. The bear visits the dog. The bear visits the tiger. The cow chases the bear. The cow is round. The cow visits the dog. The cow visits the tiger. The dog does not see the tiger. The tiger chases the cow. The tiger chases the dog. The tiger is rough. The tiger is round. The tiger is young. The tiger sees the cow. If something is round then it visits the dog. If something is cold then it visits the cow. If something is rough and it sees the dog then it visits the cow. If something is nice and it does not visit the tiger then the tiger visits the cow. If something chases the bear and the bear visits the tiger then the bear chases the cow. If the cow sees the tiger then the cow is not cold.
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear does not see the tiger.
("bear" "sees" "tiger" "-")
The bear visits the dog.
("bear" "visits" "dog" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is round.
("cow" "is" "round" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The dog does not see the tiger.
("dog" "sees" "tiger" "-")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If something is round then it visits the dog.
((("something" "is" "round" "+")) -> ("something" "visits" "dog" "+"))
If something is cold then it visits the cow.
((("something" "is" "cold" "+")) -> ("something" "visits" "cow" "+"))
If something is rough and it sees the dog then it visits the cow.
((("something" "is" "rough" "+") ("something" "sees" "dog" "+")) -> ("something" "visits" "cow" "+"))
If something is nice and it does not visit the tiger then the tiger visits the cow.
((("something" "is" "nice" "+") ("something" "visits" "tiger" "~")) -> ("tiger" "visits" "cow" "+"))
If something chases the bear and the bear visits the tiger then the bear chases the cow.
((("something" "chases" "bear" "+") ("bear" "visits" "tiger" "+")) -> ("bear" "chases" "cow" "+"))
If the cow sees the tiger then the cow is not cold.
((("cow" "sees" "tiger" "+")) -> ("cow" "is" "cold" "-"))
The bear does not see the tiger.
True
1
proof
[(triple3)]
("bear" "sees" "tiger" "-")
triple3
The tiger is not rough.
False
1
inv-proof
[(triple13)]
("tiger" "is" "rough" "-")
triple13
The bear chases the cow.
True
3
proof
[(((triple6 triple5) -> rule5))]
("bear" "chases" "cow" "+")
((triple6 triple5) -> (rule5 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The tiger does not visit the dog.
False
2
inv-proof
[(((triple14) -> rule1))]
("tiger" "visits" "dog" "-")
((triple14) -> (rule1 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The cow does not visit the cow.
Unknown
inv-rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "visits" "cow" "-")
The tiger visits the cow.
Unknown
rconc
[@1: The tiger visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "visits" "cow" "+")
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 dog chases the bear.
Unknown
random
[@0: The dog chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bear" "+")
@0: The bear does not see the tiger.[(triple3)] The bear sees the cow.[(triple1)] The bear sees the dog.[(triple2)] The bear visits the dog.[(triple4)] The bear visits the tiger.[(triple5)] The cow chases the bear.[(triple6)] The cow is round.[(triple7)] The cow visits the dog.[(triple8 OR ((triple7) -> rule1))] The cow visits the tiger.[(triple9)] The dog does not see the tiger.[(triple10)] The tiger chases the cow.[(triple11)] The tiger chases the dog.[(triple12)] The tiger is rough.[(triple13)] The tiger is round.[(triple14)] The tiger is young.[(triple15)] The tiger sees the cow.[(triple16)] @1: The bear chases the cow.[(((triple6 triple5) -> rule5))] The tiger visits the dog.[(((triple14) -> rule1))]
The bear does not see the tiger.
("bear" "sees" "tiger" "-")
triple3
The bear sees the cow.
("bear" "sees" "cow" "+")
triple1
The bear sees the dog.
("bear" "sees" "dog" "+")
triple2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple4
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple5
The cow chases the bear.
("cow" "chases" "bear" "+")
triple6
The cow is round.
("cow" "is" "round" "+")
triple7
The cow visits the dog.
("cow" "visits" "dog" "+")
triple8
((triple7) -> (rule1 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple9
The dog does not see the tiger.
("dog" "sees" "tiger" "-")
triple10
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple11
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple16
The bear chases the cow.
("bear" "chases" "cow" "+")
((triple6 triple5) -> (rule5 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
((triple14) -> (rule1 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1