The dog is not big. The dog is blue. The dog is green. The dog is kind. The dog likes the tiger. The dog sees the tiger. The dog does not visit the tiger. The tiger is big. The tiger likes the dog. The tiger does not see the dog. If the dog sees the tiger then the tiger visits the dog. If the tiger visits the dog and the dog sees the tiger then the tiger is green.
The dog is not big.
("dog" "is" "big" "-")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The dog does not visit the tiger.
("dog" "visits" "tiger" "-")
The tiger is big.
("tiger" "is" "big" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger does not see the dog.
("tiger" "sees" "dog" "-")
If the dog sees the tiger then the tiger visits the dog.
((("dog" "sees" "tiger" "+")) -> ("tiger" "visits" "dog" "+"))
If the tiger visits the dog and the dog sees the tiger then the tiger is green.
((("tiger" "visits" "dog" "+") ("dog" "sees" "tiger" "+")) -> ("tiger" "is" "green" "+"))
The dog is blue.
True
1
proof
[(triple2)]
("dog" "is" "blue" "+")
triple2
The dog is not kind.
False
1
inv-proof
[(triple4)]
("dog" "is" "kind" "-")
triple4
The tiger visits the dog.
True
2
proof
[(((triple6) -> rule1))]
("tiger" "visits" "dog" "+")
((triple6) -> (rule1 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The tiger does not visit the dog.
False
2
inv-proof
[(((triple6) -> rule1))]
("tiger" "visits" "dog" "-")
((triple6) -> (rule1 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The tiger is green.
True
4
proof
[(((((triple6) -> rule1) triple6) -> rule2))]
("tiger" "is" "green" "+")
((((triple6) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
The tiger is not green.
False
4
inv-proof
[(((((triple6) -> rule1) triple6) -> rule2))]
("tiger" "is" "green" "-")
((((triple6) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog does not visit the tiger.[(triple7)] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4)] The dog is not big.[(triple1)] The dog likes the tiger.[(triple5)] The dog sees the tiger.[(triple6)] The tiger does not see the dog.[(triple10)] The tiger is big.[(triple8)] The tiger likes the dog.[(triple9)] @1: The tiger visits the dog.[(((triple6) -> rule1))] @2: The tiger is green.[(((((triple6) -> rule1) triple6) -> rule2))]
The dog does not visit the tiger.
("dog" "visits" "tiger" "-")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is not big.
("dog" "is" "big" "-")
triple1
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple5
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple6
The tiger does not see the dog.
("tiger" "sees" "dog" "-")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple8
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple9
The tiger visits the dog.
("tiger" "visits" "dog" "+")
((triple6) -> (rule1 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
((((triple6) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2