The dog needs the lion. The dog does not see the lion. The dog visits the lion. The lion is kind. The lion is nice. The lion is rough. The lion needs the dog. If someone is kind then they are nice. If someone visits the lion and the lion needs the dog then the dog is kind. If someone is kind then they see the dog.
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog does not see the lion.
("dog" "sees" "lion" "-")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
If someone is kind then they are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone visits the lion and the lion needs the dog then the dog is kind.
((("someone" "visits" "lion" "+") ("lion" "needs" "dog" "+")) -> ("dog" "is" "kind" "+"))
If someone is kind then they see the dog.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "dog" "+"))
The dog does not see the lion.
True
1
proof
[(triple2)]
("dog" "sees" "lion" "-")
triple2
The dog does not need the lion.
False
1
inv-proof
[(triple1)]
("dog" "needs" "lion" "-")
triple1
The lion sees the dog.
True
2
proof
[(((triple4) -> rule3))]
("lion" "sees" "dog" "+")
((triple4) -> (rule3 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The lion does not see the dog.
False
2
inv-proof
[(((triple4) -> rule3))]
("lion" "sees" "dog" "-")
((triple4) -> (rule3 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The dog sees the dog.
True
4
proof
[(((((triple3 triple7) -> rule2)) -> rule3))]
("dog" "sees" "dog" "+")
((((triple3 triple7) -> (rule2 % int2))) -> (rule3 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog is not nice.
False
4
inv-proof
[(((((triple3 triple7) -> rule2)) -> rule1))]
("dog" "is" "nice" "-")
((((triple3 triple7) -> (rule2 % int2))) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
The lion does not visit the dog.
Unknown
inv-random
[@0: The lion visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "dog" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The dog does not see the lion.[(triple2)] The dog needs the lion.[(triple1)] The dog visits the lion.[(triple3)] The lion is kind.[(triple4)] The lion is nice.[(triple5 OR ((triple4) -> rule1))] The lion is rough.[(triple6)] The lion needs the dog.[(triple7)] @1: The dog is kind.[(((triple3 triple7) -> rule2))] The lion sees the dog.[(((triple4) -> rule3))] @2: The dog is nice.[(((((triple3 triple7) -> rule2)) -> rule1))] The dog sees the dog.[(((((triple3 triple7) -> rule2)) -> rule3))]
The dog does not see the lion.
("dog" "sees" "lion" "-")
triple2
The dog needs the lion.
("dog" "needs" "lion" "+")
triple1
The dog visits the lion.
("dog" "visits" "lion" "+")
triple3
The lion is kind.
("lion" "is" "kind" "+")
triple4
The lion is nice.
("lion" "is" "nice" "+")
triple5
((triple4) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
triple6
The lion needs the dog.
("lion" "needs" "dog" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
((triple3 triple7) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
((triple4) -> (rule3 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((((triple3 triple7) -> (rule2 % int2))) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog sees the dog.
("dog" "sees" "dog" "+")
((((triple3 triple7) -> (rule2 % int2))) -> (rule3 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2