The dog eats the rabbit. The dog is red. The dog needs the rabbit. The rabbit eats the dog. The rabbit is big. The rabbit is kind. The rabbit is red. The rabbit is young. The rabbit needs the dog. The rabbit sees the dog. If something is red then it is young.
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is red.
("dog" "is" "red" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If something is red then it is young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
The dog eats the rabbit.
True
1
proof
[(triple1)]
("dog" "eats" "rabbit" "+")
triple1
The rabbit does not eat the dog.
False
1
inv-proof
[(triple4)]
("rabbit" "eats" "dog" "-")
triple4
The dog is young.
True
2
proof
[(((triple2) -> rule1))]
("dog" "is" "young" "+")
((triple2) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("dog" "is" "young" "-")
((triple2) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The dog eats the rabbit.[(triple1)] The dog is red.[(triple2)] The dog needs the rabbit.[(triple3)] The rabbit eats the dog.[(triple4)] The rabbit is big.[(triple5)] The rabbit is kind.[(triple6)] The rabbit is red.[(triple7)] The rabbit is young.[(triple8 OR ((triple7) -> rule1))] The rabbit needs the dog.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The dog is young.[(((triple2) -> rule1))]
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple3
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple4
The rabbit is big.
("rabbit" "is" "big" "+")
triple5
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple6
The rabbit is red.
("rabbit" "is" "red" "+")
triple7
The rabbit is young.
("rabbit" "is" "young" "+")
triple8
((triple7) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple9
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple10
The dog is young.
("dog" "is" "young" "+")
((triple2) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1