The dog chases the tiger. The dog is blue. The dog is round. The dog likes the lion. The dog likes the tiger. The dog needs the tiger. The lion chases the dog. The lion chases the tiger. The lion is round. The lion likes the tiger. The lion needs the tiger. The tiger chases the dog. The tiger chases the lion. The tiger is cold. The tiger likes the lion. The tiger needs the dog. If something chases the tiger and it is blue then the tiger likes the dog. If something likes the dog then it likes the lion. If something likes the tiger then it is blue. If something needs the tiger and it is red then the tiger likes the dog. If the dog is red and the dog likes the lion then the lion is cold. If something is cold and round then it needs the dog. If something needs the lion then the lion is cold. If the lion likes the tiger then the tiger needs the lion.
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If something chases the tiger and it is blue then the tiger likes the dog.
((("something" "chases" "tiger" "+") ("something" "is" "blue" "+")) -> ("tiger" "likes" "dog" "+"))
If something likes the dog then it likes the lion.
((("something" "likes" "dog" "+")) -> ("something" "likes" "lion" "+"))
If something likes the tiger then it is blue.
((("something" "likes" "tiger" "+")) -> ("something" "is" "blue" "+"))
If something needs the tiger and it is red then the tiger likes the dog.
((("something" "needs" "tiger" "+") ("something" "is" "red" "+")) -> ("tiger" "likes" "dog" "+"))
If the dog is red and the dog likes the lion then the lion is cold.
((("dog" "is" "red" "+") ("dog" "likes" "lion" "+")) -> ("lion" "is" "cold" "+"))
If something is cold and round then it needs the dog.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "needs" "dog" "+"))
If something needs the lion then the lion is cold.
((("something" "needs" "lion" "+")) -> ("lion" "is" "cold" "+"))
If the lion likes the tiger then the tiger needs the lion.
((("lion" "likes" "tiger" "+")) -> ("tiger" "needs" "lion" "+"))
The dog likes the lion.
True
1
proof
[(triple4)]
("dog" "likes" "lion" "+")
triple4
The lion does not like the tiger.
False
1
inv-proof
[(triple10)]
("lion" "likes" "tiger" "-")
triple10
The lion is blue.
True
2
proof
[(((triple10) -> rule3))]
("lion" "is" "blue" "+")
((triple10) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is not blue.
False
2
inv-proof
[(((triple10) -> rule3))]
("lion" "is" "blue" "-")
((triple10) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is cold.
True
3
proof
[(((((triple10) -> rule8)) -> rule7))]
("lion" "is" "cold" "+")
((((triple10) -> (rule8 % int2))) -> (rule7 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2
The lion is not cold.
False
3
inv-proof
[(((((triple10) -> rule8)) -> rule7))]
("lion" "is" "cold" "-")
((((triple10) -> (rule8 % int2))) -> (rule7 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2
The lion needs the dog.
True
5
proof
[(((((((triple10) -> rule8)) -> rule7) triple9) -> rule6))]
("lion" "needs" "dog" "+")
((((((triple10) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule6 % int1))
The lion needs the dog.
("lion" "needs" "dog" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int3
The lion does not need the dog.
False
5
inv-proof
[(((((((triple10) -> rule8)) -> rule7) triple9) -> rule6))]
("lion" "needs" "dog" "-")
((((((triple10) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule6 % int1))
The lion needs the dog.
("lion" "needs" "dog" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int3
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "needs" "dog" "-")
The lion likes the lion.
Unknown
rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "likes" "lion" "+")
The tiger is not blue.
Unknown
inv-rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "blue" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The lion does not like the dog.
Unknown
inv-random
[@0: The lion likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "dog" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
@0: The dog chases the tiger.[(triple1)] The dog is blue.[(triple2 OR ((triple5) -> rule3))] The dog is round.[(triple3)] The dog likes the lion.[(triple4)] The dog likes the tiger.[(triple5)] The dog needs the tiger.[(triple6)] The lion chases the dog.[(triple7)] The lion chases the tiger.[(triple8)] The lion is round.[(triple9)] The lion likes the tiger.[(triple10)] The lion needs the tiger.[(triple11)] The tiger chases the dog.[(triple12)] The tiger chases the lion.[(triple13)] The tiger is cold.[(triple14)] The tiger likes the lion.[(triple15 OR ((((triple1 triple2) -> rule1)) -> rule2) OR ((((triple1 ((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((triple8 ((triple10) -> rule3)) -> rule1)) -> rule2))] The tiger needs the dog.[(triple16)] @1: The lion is blue.[(((triple10) -> rule3))] The tiger likes the dog.[(((triple1 triple2) -> rule1) OR ((triple1 ((triple5) -> rule3)) -> rule1) OR ((triple8 ((triple10) -> rule3)) -> rule1))] The tiger needs the lion.[(((triple10) -> rule8))] @2: The lion is cold.[(((((triple10) -> rule8)) -> rule7))] @3: The lion needs the dog.[(((((((triple10) -> rule8)) -> rule7) triple9) -> rule6))]
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
((triple5) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is round.
("dog" "is" "round" "+")
triple3
The dog likes the lion.
("dog" "likes" "lion" "+")
triple4
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple6
The lion chases the dog.
("lion" "chases" "dog" "+")
triple7
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple8
The lion is round.
("lion" "is" "round" "+")
triple9
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple10
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple11
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple12
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple13
The tiger is cold.
("tiger" "is" "cold" "+")
triple14
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple15
((((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int2
((((triple1 ((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int2
The dog is blue.
("dog" "is" "blue" "+")
int3
((((triple8 ((triple10) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the lion.
("tiger" "likes" "lion" "+")
int1
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple16
The lion is blue.
("lion" "is" "blue" "+")
((triple10) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The tiger likes the dog.
("tiger" "likes" "dog" "+")
((triple1 triple2) -> (rule1 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1
((triple1 ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
((triple8 ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
((triple10) -> (rule8 % int1))
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
((((triple10) -> (rule8 % int2))) -> (rule7 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int2
The lion needs the dog.
("lion" "needs" "dog" "+")
((((((triple10) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule6 % int1))
The lion needs the dog.
("lion" "needs" "dog" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int3