The dog chases the tiger. The dog is green. The dog is round. The dog is young. The dog likes the tiger. The dog visits the tiger. The tiger chases the dog. The tiger is red. The tiger likes the dog. The tiger visits the dog. If something is kind and it visits the tiger then the tiger chases the dog. If something chases the tiger and it likes the tiger then it likes the dog. If something likes the tiger then it chases the dog. If something visits the tiger and it chases the dog then it likes the dog. If something visits the dog then the dog visits the tiger. If something chases the dog and the dog visits the tiger then it visits the dog. If something likes the tiger and the tiger is green then it visits the tiger. If something visits the dog then it is kind.
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If something is kind and it visits the tiger then the tiger chases the dog.
((("something" "is" "kind" "+") ("something" "visits" "tiger" "+")) -> ("tiger" "chases" "dog" "+"))
If something chases the tiger and it likes the tiger then it likes the dog.
((("something" "chases" "tiger" "+") ("something" "likes" "tiger" "+")) -> ("something" "likes" "dog" "+"))
If something likes the tiger then it chases the dog.
((("something" "likes" "tiger" "+")) -> ("something" "chases" "dog" "+"))
If something visits the tiger and it chases the dog then it likes the dog.
((("something" "visits" "tiger" "+") ("something" "chases" "dog" "+")) -> ("something" "likes" "dog" "+"))
If something visits the dog then the dog visits the tiger.
((("something" "visits" "dog" "+")) -> ("dog" "visits" "tiger" "+"))
If something chases the dog and the dog visits the tiger then it visits the dog.
((("something" "chases" "dog" "+") ("dog" "visits" "tiger" "+")) -> ("something" "visits" "dog" "+"))
If something likes the tiger and the tiger is green then it visits the tiger.
((("something" "likes" "tiger" "+") ("tiger" "is" "green" "+")) -> ("something" "visits" "tiger" "+"))
If something visits the dog then it is kind.
((("something" "visits" "dog" "+")) -> ("something" "is" "kind" "+"))
The dog is green.
True
1
proof
[(triple2)]
("dog" "is" "green" "+")
triple2
The tiger is not red.
False
1
inv-proof
[(triple8)]
("tiger" "is" "red" "-")
triple8
The dog chases the dog.
True
2
proof
[(((triple5) -> rule3))]
("dog" "chases" "dog" "+")
((triple5) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog does not chase the dog.
False
2
inv-proof
[(((triple5) -> rule3))]
("dog" "chases" "dog" "-")
((triple5) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the dog.
True
4
proof
[(((((triple5) -> rule3) triple6) -> rule6) OR ((((triple5) -> rule3) ((triple10) -> rule5)) -> rule6))]
("dog" "visits" "dog" "+")
((((triple5) -> (rule3 % int2)) triple6) -> (rule6 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
((((triple5) -> (rule3 % int3)) ((triple10) -> (rule5 % int2))) -> (rule6 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The dog does not visit the dog.
False
4
inv-proof
[(((((triple5) -> rule3) triple6) -> rule6) OR ((((triple5) -> rule3) ((triple10) -> rule5)) -> rule6))]
("dog" "visits" "dog" "-")
((((triple5) -> (rule3 % int2)) triple6) -> (rule6 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
((((triple5) -> (rule3 % int3)) ((triple10) -> (rule5 % int2))) -> (rule6 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The dog is kind.
True
5
proof
[(((((((triple5) -> rule3) triple6) -> rule6)) -> rule8) OR ((((((triple5) -> rule3) ((triple10) -> rule5)) -> rule6)) -> rule8))]
("dog" "is" "kind" "+")
((((((triple5) -> (rule3 % int3)) triple6) -> (rule6 % int2))) -> (rule8 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
((((((triple5) -> (rule3 % int4)) ((triple10) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int3
The dog chases the dog.
("dog" "chases" "dog" "+")
int4
The dog is not kind.
False
5
inv-proof
[(((((((triple5) -> rule3) triple6) -> rule6)) -> rule8) OR ((((((triple5) -> rule3) ((triple10) -> rule5)) -> rule6)) -> rule8))]
("dog" "is" "kind" "-")
((((((triple5) -> (rule3 % int3)) triple6) -> (rule6 % int2))) -> (rule8 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
((((((triple5) -> (rule3 % int4)) ((triple10) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int3
The dog chases the dog.
("dog" "chases" "dog" "+")
int4
The tiger does not visit the tiger.
Unknown
inv-rconc
[@1: The tiger visits the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
The tiger is not round.
Unknown
inv-random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The dog chases the tiger.[(triple1)] The dog is green.[(triple2)] The dog is round.[(triple3)] The dog is young.[(triple4)] The dog likes the tiger.[(triple5)] The dog visits the tiger.[(triple6 OR ((triple10) -> rule5))] The tiger chases the dog.[(triple7 OR ((((((((triple5) -> rule3) triple6) -> rule6)) -> rule8) triple6) -> rule1) OR ((((((((triple5) -> rule3) triple6) -> rule6)) -> rule8) ((triple10) -> rule5)) -> rule1) OR ((((((((triple5) -> rule3) ((triple10) -> rule5)) -> rule6)) -> rule8) triple6) -> rule1) OR ((((((((triple5) -> rule3) ((triple10) -> rule5)) -> rule6)) -> rule8) ((triple10) -> rule5)) -> rule1))] The tiger is red.[(triple8)] The tiger likes the dog.[(triple9)] The tiger visits the dog.[(triple10 OR ((triple7 triple6) -> rule6) OR ((((((((((triple5) -> rule3) triple6) -> rule6)) -> rule8) triple6) -> rule1) triple6) -> rule6))] @1: The dog chases the dog.[(((triple5) -> rule3))] The dog likes the dog.[(((triple1 triple5) -> rule2) OR ((triple6 ((triple5) -> rule3)) -> rule4) OR ((((triple10) -> rule5) ((triple5) -> rule3)) -> rule4))] The tiger is kind.[(((triple10) -> rule8) OR ((((triple7 triple6) -> rule6)) -> rule8) OR ((((((((((((triple5) -> rule3) triple6) -> rule6)) -> rule8) triple6) -> rule1) triple6) -> rule6)) -> rule8))] @2: The dog visits the dog.[(((((triple5) -> rule3) triple6) -> rule6) OR ((((triple5) -> rule3) ((triple10) -> rule5)) -> rule6))] @3: The dog is kind.[(((((((triple5) -> rule3) triple6) -> rule6)) -> rule8) OR ((((((triple5) -> rule3) ((triple10) -> rule5)) -> rule6)) -> rule8))]
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple5
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple6
((triple10) -> (rule5 % int1))
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple7
((((((((triple5) -> (rule3 % int4)) triple6) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule1 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
int3
The dog chases the dog.
("dog" "chases" "dog" "+")
int4
((((((((triple5) -> (rule3 % int5)) triple6) -> (rule6 % int4))) -> (rule8 % int3)) ((triple10) -> (rule5 % int2))) -> (rule1 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int2
The dog is kind.
("dog" "is" "kind" "+")
int3
The dog visits the dog.
("dog" "visits" "dog" "+")
int4
The dog chases the dog.
("dog" "chases" "dog" "+")
int5
((((((((triple5) -> (rule3 % int5)) ((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule1 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
int3
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int4
The dog chases the dog.
("dog" "chases" "dog" "+")
int5
((((((((triple5) -> (rule3 % int5)) ((triple10) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple10) -> (rule5 % int4))) -> (rule1 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
int3
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int4
The dog chases the dog.
("dog" "chases" "dog" "+")
int5
The tiger is red.
("tiger" "is" "red" "+")
triple8
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple9
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple10
((triple7 triple6) -> (rule6 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
((((((((((triple5) -> (rule3 % int5)) triple6) -> (rule6 % int4))) -> (rule8 % int3)) triple6) -> (rule1 % int2)) triple6) -> (rule6 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int2
The dog is kind.
("dog" "is" "kind" "+")
int3
The dog visits the dog.
("dog" "visits" "dog" "+")
int4
The dog chases the dog.
("dog" "chases" "dog" "+")
int5
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple5) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple1 triple5) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((triple6 ((triple5) -> (rule3 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
((((triple10) -> (rule5 % int3)) ((triple5) -> (rule3 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
((triple10) -> (rule8 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
((((triple7 triple6) -> (rule6 % int2))) -> (rule8 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
((((((((((((triple5) -> (rule3 % int6)) triple6) -> (rule6 % int5))) -> (rule8 % int4)) triple6) -> (rule1 % int3)) triple6) -> (rule6 % int2))) -> (rule8 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int3
The dog is kind.
("dog" "is" "kind" "+")
int4
The dog visits the dog.
("dog" "visits" "dog" "+")
int5
The dog chases the dog.
("dog" "chases" "dog" "+")
int6
The dog visits the dog.
("dog" "visits" "dog" "+")
((((triple5) -> (rule3 % int2)) triple6) -> (rule6 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
((((triple5) -> (rule3 % int3)) ((triple10) -> (rule5 % int2))) -> (rule6 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The dog is kind.
("dog" "is" "kind" "+")
((((((triple5) -> (rule3 % int3)) triple6) -> (rule6 % int2))) -> (rule8 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
((((((triple5) -> (rule3 % int4)) ((triple10) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int3
The dog chases the dog.
("dog" "chases" "dog" "+")
int4