The dog chases the tiger. The dog is green. The dog is young. The dog sees the tiger. The squirrel does not chase the tiger. The squirrel is not green. The squirrel is young. The squirrel likes the dog. The squirrel likes the tiger. The squirrel sees the dog. The tiger chases the dog. The tiger chases the squirrel. If something is rough then it likes the tiger. If something likes the tiger then it is red. If something sees the squirrel then it is red. If something likes the squirrel and the squirrel is rough then the squirrel likes the dog. If something chases the dog and the dog sees the tiger then the dog does not chase the squirrel. If the tiger is red and the tiger likes the dog then the dog chases the squirrel. If something chases the dog then it is rough. If something is young and it does not like the squirrel then the squirrel does not chase the tiger.
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is young.
("dog" "is" "young" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The squirrel does not chase the tiger.
("squirrel" "chases" "tiger" "-")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
If something is rough then it likes the tiger.
((("something" "is" "rough" "+")) -> ("something" "likes" "tiger" "+"))
If something likes the tiger then it is red.
((("something" "likes" "tiger" "+")) -> ("something" "is" "red" "+"))
If something sees the squirrel then it is red.
((("something" "sees" "squirrel" "+")) -> ("something" "is" "red" "+"))
If something likes the squirrel and the squirrel is rough then the squirrel likes the dog.
((("something" "likes" "squirrel" "+") ("squirrel" "is" "rough" "+")) -> ("squirrel" "likes" "dog" "+"))
If something chases the dog and the dog sees the tiger then the dog does not chase the squirrel.
((("something" "chases" "dog" "+") ("dog" "sees" "tiger" "+")) -> ("dog" "chases" "squirrel" "-"))
If the tiger is red and the tiger likes the dog then the dog chases the squirrel.
((("tiger" "is" "red" "+") ("tiger" "likes" "dog" "+")) -> ("dog" "chases" "squirrel" "+"))
If something chases the dog then it is rough.
((("something" "chases" "dog" "+")) -> ("something" "is" "rough" "+"))
If something is young and it does not like the squirrel then the squirrel does not chase the tiger.
((("something" "is" "young" "+") ("something" "likes" "squirrel" "~")) -> ("squirrel" "chases" "tiger" "-"))
The squirrel does not chase the tiger.
True
1
proof
[(triple5)]
("squirrel" "chases" "tiger" "-")
triple5
The squirrel is green.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "green" "+")
triple6
The tiger is rough.
True
2
proof
[(((triple11) -> rule7))]
("tiger" "is" "rough" "+")
((triple11) -> (rule7 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The dog chases the squirrel.
False
3
inv-proof
[(((triple11 triple4) -> rule5))]
("dog" "chases" "squirrel" "+")
((triple11 triple4) -> (rule5 % int1))
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
int1
The tiger likes the tiger.
True
3
proof
[(((((triple11) -> rule7)) -> rule1))]
("tiger" "likes" "tiger" "+")
((((triple11) -> (rule7 % int2))) -> (rule1 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger does not like the tiger.
False
3
inv-proof
[(((((triple11) -> rule7)) -> rule1))]
("tiger" "likes" "tiger" "-")
((((triple11) -> (rule7 % int2))) -> (rule1 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is red.
True
4
proof
[(((((((triple11) -> rule7)) -> rule1)) -> rule2))]
("tiger" "is" "red" "+")
((((((triple11) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger is not red.
False
4
inv-proof
[(((((((triple11) -> rule7)) -> rule1)) -> rule2))]
("tiger" "is" "red" "-")
((((((triple11) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The dog does not like the tiger.
Unknown
inv-rconc
[@2: The dog likes the tiger.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("dog" "likes" "tiger" "-")
The squirrel is rough.
Unknown
rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "rough" "+")
The dog is not red.
Unknown
inv-rconc
[@3: The dog is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule7 <- FAIL)]]
("dog" "is" "red" "-")
The dog is rough.
Unknown
rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "rough" "+")
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 squirrel sees the tiger.
Unknown
random
[@0: The squirrel sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "tiger" "+")
The tiger does not see the dog.
Unknown
inv-random
[@0: The tiger sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "dog" "-")
The dog sees the squirrel.
Unknown
random
[@0: The dog sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "squirrel" "+")
@0: The dog chases the tiger.[(triple1)] The dog is green.[(triple2)] The dog is young.[(triple3)] The dog sees the tiger.[(triple4)] The squirrel does not chase the tiger.[(triple5)] The squirrel is not green.[(triple6)] The squirrel is young.[(triple7)] The squirrel likes the dog.[(triple8)] The squirrel likes the tiger.[(triple9)] The squirrel sees the dog.[(triple10)] The tiger chases the dog.[(triple11)] The tiger chases the squirrel.[(triple12)] @1: The dog does not chase the squirrel.[(((triple11 triple4) -> rule5))] The squirrel is red.[(((triple9) -> rule2))] The tiger is rough.[(((triple11) -> rule7))] @2: The tiger likes the tiger.[(((((triple11) -> rule7)) -> rule1))] @3: The tiger is red.[(((((((triple11) -> rule7)) -> rule1)) -> rule2))]
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple4
The squirrel does not chase the tiger.
("squirrel" "chases" "tiger" "-")
triple5
The squirrel is not green.
("squirrel" "is" "green" "-")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple7
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple8
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple9
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple10
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple11
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple12
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
((triple11 triple4) -> (rule5 % int1))
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple9) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple11) -> (rule7 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((((triple11) -> (rule7 % int2))) -> (rule1 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
((((((triple11) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3