The cow is blue. The cow is nice. The cow visits the lion. The cow visits the rabbit. The dog chases the cow. The dog chases the lion. The dog does not eat the lion. The dog is nice. The dog is red. The dog is young. The lion eats the cow. The lion visits the cow. The rabbit chases the cow. The rabbit eats the dog. The rabbit is blue. The rabbit is nice. If someone is nice then they chase the rabbit. If someone is young then they are rough. If someone is young and they visit the cow then they eat the rabbit.
The cow is blue.
("cow" "is" "blue" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog does not eat the lion.
("dog" "eats" "lion" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
If someone is nice then they chase the rabbit.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and they visit the cow then they eat the rabbit.
((("someone" "is" "young" "+") ("someone" "visits" "cow" "+")) -> ("someone" "eats" "rabbit" "+"))
The rabbit is nice.
True
1
proof
[(triple16)]
("rabbit" "is" "nice" "+")
triple16
The dog does not chase the lion.
False
1
inv-proof
[(triple6)]
("dog" "chases" "lion" "-")
triple6
The rabbit chases the rabbit.
True
2
proof
[(((triple16) -> rule1))]
("rabbit" "chases" "rabbit" "+")
((triple16) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The cow does not chase the rabbit.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "chases" "rabbit" "-")
((triple2) -> (rule1 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "rough" "-")
The cow eats the rabbit.
Unknown
rconc
[@1: The cow eats the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "eats" "rabbit" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The cow is blue.[(triple1)] The cow is nice.[(triple2)] The cow visits the lion.[(triple3)] The cow visits the rabbit.[(triple4)] The dog chases the cow.[(triple5)] The dog chases the lion.[(triple6)] The dog does not eat the lion.[(triple7)] The dog is nice.[(triple8)] The dog is red.[(triple9)] The dog is young.[(triple10)] The lion eats the cow.[(triple11)] The lion visits the cow.[(triple12)] The rabbit chases the cow.[(triple13)] The rabbit eats the dog.[(triple14)] The rabbit is blue.[(triple15)] The rabbit is nice.[(triple16)] @1: The cow chases the rabbit.[(((triple2) -> rule1))] The dog chases the rabbit.[(((triple8) -> rule1))] The dog is rough.[(((triple10) -> rule2))] The rabbit chases the rabbit.[(((triple16) -> rule1))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow visits the lion.
("cow" "visits" "lion" "+")
triple3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple4
The dog chases the cow.
("dog" "chases" "cow" "+")
triple5
The dog chases the lion.
("dog" "chases" "lion" "+")
triple6
The dog does not eat the lion.
("dog" "eats" "lion" "-")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple8
The dog is red.
("dog" "is" "red" "+")
triple9
The dog is young.
("dog" "is" "young" "+")
triple10
The lion eats the cow.
("lion" "eats" "cow" "+")
triple11
The lion visits the cow.
("lion" "visits" "cow" "+")
triple12
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple13
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple14
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple15
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple16
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
((triple2) -> (rule1 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
((triple8) -> (rule1 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((triple10) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple16) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1