The dog chases the rabbit. The dog is green. The dog is kind. The dog is nice. The dog is round. The dog likes the rabbit. The dog does not need the rabbit. The rabbit chases the dog. The rabbit is not rough. The rabbit is not round. The rabbit likes the dog. The rabbit needs the dog. If something is nice and it chases the rabbit then the rabbit is green. If something needs the rabbit then the rabbit is nice. If something is kind then it chases the rabbit.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog does not need the rabbit.
("dog" "needs" "rabbit" "-")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit is not round.
("rabbit" "is" "round" "-")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If something is nice and it chases the rabbit then the rabbit is green.
((("something" "is" "nice" "+") ("something" "chases" "rabbit" "+")) -> ("rabbit" "is" "green" "+"))
If something needs the rabbit then the rabbit is nice.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
If something is kind then it chases the rabbit.
((("something" "is" "kind" "+")) -> ("something" "chases" "rabbit" "+"))
The dog likes the rabbit.
True
1
proof
[(triple6)]
("dog" "likes" "rabbit" "+")
triple6
The dog is not kind.
False
1
inv-proof
[(triple3)]
("dog" "is" "kind" "-")
triple3
The rabbit is green.
True
3
proof
[(((triple4 triple1) -> rule1) OR ((triple4 ((triple3) -> rule3)) -> rule1))]
("rabbit" "is" "green" "+")
((triple4 triple1) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((triple4 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
The rabbit is not green.
False
3
inv-proof
[(((triple4 triple1) -> rule1) OR ((triple4 ((triple3) -> rule3)) -> rule1))]
("rabbit" "is" "green" "-")
((triple4 triple1) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((triple4 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
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 chases the rabbit.
Unknown
rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "chases" "rabbit" "+")
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 needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The dog chases the rabbit.[(triple1 OR ((triple3) -> rule3))] The dog does not need the rabbit.[(triple7)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is round.[(triple5)] The dog likes the rabbit.[(triple6)] The rabbit chases the dog.[(triple8)] The rabbit is not rough.[(triple9)] The rabbit is not round.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit needs the dog.[(triple12)] @1: The rabbit is green.[(((triple4 triple1) -> rule1) OR ((triple4 ((triple3) -> rule3)) -> rule1))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
((triple3) -> (rule3 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog does not need the rabbit.
("dog" "needs" "rabbit" "-")
triple7
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple6
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple8
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple9
The rabbit is not round.
("rabbit" "is" "round" "-")
triple10
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple11
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple12
The rabbit is green.
("rabbit" "is" "green" "+")
((triple4 triple1) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((triple4 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2