The dog eats the rabbit. The dog is not blue. The dog is green. The dog is kind. The dog is nice. The dog is not rough. The dog needs the rabbit. The dog does not see the rabbit. The rabbit needs the dog. The rabbit sees the dog. If someone is green then they need the dog. If the dog needs the rabbit and the rabbit does not see the dog then the rabbit is nice. If someone is nice then they eat the rabbit.
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If someone is green then they need the dog.
((("someone" "is" "green" "+")) -> ("someone" "needs" "dog" "+"))
If the dog needs the rabbit and the rabbit does not see the dog then the rabbit is nice.
((("dog" "needs" "rabbit" "+") ("rabbit" "sees" "dog" "~")) -> ("rabbit" "is" "nice" "+"))
If someone is nice then they eat the rabbit.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "rabbit" "+"))
The dog is kind.
True
1
proof
[(triple4)]
("dog" "is" "kind" "+")
triple4
The dog is blue.
False
1
inv-proof
[(triple2)]
("dog" "is" "blue" "+")
triple2
The dog needs the dog.
True
2
proof
[(((triple3) -> rule1))]
("dog" "needs" "dog" "+")
((triple3) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog does not need the dog.
False
2
inv-proof
[(((triple3) -> rule1))]
("dog" "needs" "dog" "-")
((triple3) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "nice" "-")
The rabbit eats the rabbit.
Unknown
rconc
[@2: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("rabbit" "eats" "rabbit" "+")
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The dog does not see the rabbit.[(triple8)] The dog eats the rabbit.[(triple1 OR ((triple5) -> rule3))] The dog is green.[(triple3)] The dog is kind.[(triple4)] The dog is nice.[(triple5)] The dog is not blue.[(triple2)] The dog is not rough.[(triple6)] The dog needs the rabbit.[(triple7)] The rabbit needs the dog.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The dog needs the dog.[(((triple3) -> rule1))]
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
triple8
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple1
((triple5) -> (rule3 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog is not blue.
("dog" "is" "blue" "-")
triple2
The dog is not rough.
("dog" "is" "rough" "-")
triple6
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple7
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple9
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple10
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple3) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1