The cat does not chase the dog. The cat eats the dog. The cat is kind. The cat sees the rabbit. The dog does not chase the cat. The dog chases the rabbit. The dog eats the cat. The dog is not kind. The dog is nice. The dog is red. The dog sees the cat. The dog sees the rabbit. The rabbit eats the cat. The rabbit is red. The rabbit sees the cat. If someone is nice and not red then they eat the cat.
The cat does not chase the dog.
("cat" "chases" "dog" "-")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The dog does not chase the cat.
("dog" "chases" "cat" "-")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If someone is nice and not red then they eat the cat.
((("someone" "is" "nice" "+") ("someone" "is" "red" "~")) -> ("someone" "eats" "cat" "+"))
The cat sees the rabbit.
True
1
proof
[(triple4)]
("cat" "sees" "rabbit" "+")
triple4
The cat does not eat the dog.
False
1
inv-proof
[(triple2)]
("cat" "eats" "dog" "-")
triple2
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "cat" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The cat does not chase the dog.[(triple1)] The cat eats the dog.[(triple2)] The cat is kind.[(triple3)] The cat sees the rabbit.[(triple4)] The dog chases the rabbit.[(triple6)] The dog does not chase the cat.[(triple5)] The dog eats the cat.[(triple7)] The dog is nice.[(triple9)] The dog is not kind.[(triple8)] The dog is red.[(triple10)] The dog sees the cat.[(triple11)] The dog sees the rabbit.[(triple12)] The rabbit eats the cat.[(triple13)] The rabbit is red.[(triple14)] The rabbit sees the cat.[(triple15)]
The cat does not chase the dog.
("cat" "chases" "dog" "-")
triple1
The cat eats the dog.
("cat" "eats" "dog" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple4
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple6
The dog does not chase the cat.
("dog" "chases" "cat" "-")
triple5
The dog eats the cat.
("dog" "eats" "cat" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog is not kind.
("dog" "is" "kind" "-")
triple8
The dog is red.
("dog" "is" "red" "+")
triple10
The dog sees the cat.
("dog" "sees" "cat" "+")
triple11
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple12
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple13
The rabbit is red.
("rabbit" "is" "red" "+")
triple14
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple15