The dog eats the tiger. The dog is blue. The dog is kind. The dog sees the lion. The lion chases the dog. The lion eats the tiger. The lion is big. The lion is red. The tiger is kind. The tiger is red. The tiger sees the dog. The tiger sees the lion. If someone is blue and red then they chase the lion. If someone sees the lion and the lion chases the dog then they are red.
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is red.
("lion" "is" "red" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If someone is blue and red then they chase the lion.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "chases" "lion" "+"))
If someone sees the lion and the lion chases the dog then they are red.
((("someone" "sees" "lion" "+") ("lion" "chases" "dog" "+")) -> ("someone" "is" "red" "+"))
The tiger is kind.
True
1
proof
[(triple9)]
("tiger" "is" "kind" "+")
triple9
The tiger does not see the lion.
False
1
inv-proof
[(triple12)]
("tiger" "sees" "lion" "-")
triple12
The dog is red.
True
3
proof
[(((triple4 triple5) -> rule2))]
("dog" "is" "red" "+")
((triple4 triple5) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is not red.
False
3
inv-proof
[(((triple4 triple5) -> rule2))]
("dog" "is" "red" "-")
((triple4 triple5) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog chases the lion.
True
5
proof
[(((triple2 ((triple4 triple5) -> rule2)) -> rule1))]
("dog" "chases" "lion" "+")
((triple2 ((triple4 triple5) -> (rule2 % int2))) -> (rule1 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog does not chase the lion.
False
5
inv-proof
[(((triple2 ((triple4 triple5) -> rule2)) -> rule1))]
("dog" "chases" "lion" "-")
((triple2 ((triple4 triple5) -> (rule2 % int2))) -> (rule1 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The tiger does not chase the lion.
Unknown
inv-rconc
[@1: The tiger chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "chases" "lion" "-")
The lion chases the lion.
Unknown
rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "lion" "+")
The tiger does not chase the dog.
Unknown
inv-random
[@0: The tiger chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "dog" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The lion is not kind.
Unknown
inv-random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "-")
The dog chases the tiger.
Unknown
random
[@0: The dog chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "tiger" "+")
@0: The dog eats the tiger.[(triple1)] The dog is blue.[(triple2)] The dog is kind.[(triple3)] The dog sees the lion.[(triple4)] The lion chases the dog.[(triple5)] The lion eats the tiger.[(triple6)] The lion is big.[(triple7)] The lion is red.[(triple8)] The tiger is kind.[(triple9)] The tiger is red.[(triple10 OR ((triple12 triple5) -> rule2))] The tiger sees the dog.[(triple11)] The tiger sees the lion.[(triple12)] @1: The dog is red.[(((triple4 triple5) -> rule2))] @2: The dog chases the lion.[(((triple2 ((triple4 triple5) -> rule2)) -> rule1))]
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog sees the lion.
("dog" "sees" "lion" "+")
triple4
The lion chases the dog.
("lion" "chases" "dog" "+")
triple5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple6
The lion is big.
("lion" "is" "big" "+")
triple7
The lion is red.
("lion" "is" "red" "+")
triple8
The tiger is kind.
("tiger" "is" "kind" "+")
triple9
The tiger is red.
("tiger" "is" "red" "+")
triple10
((triple12 triple5) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple11
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple12
The dog is red.
("dog" "is" "red" "+")
((triple4 triple5) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
((triple2 ((triple4 triple5) -> (rule2 % int2))) -> (rule1 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2