The cat eats the cow. The cat is green. The cat sees the cow. The cat visits the rabbit. The cow eats the cat. The cow eats the rabbit. The cow is green. The cow is kind. The cow is rough. The cow sees the cat. The cow visits the rabbit. The rabbit eats the cow. The rabbit is green. The rabbit sees the cat. The rabbit visits the cat. The rabbit visits the cow. If the cat eats the cow and the cat sees the cow then the cat eats the rabbit. If the cat eats the cow and the cow sees the rabbit then the cow is red. If something visits the cat then it is red.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is green.
("cat" "is" "green" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If the cat eats the cow and the cat sees the cow then the cat eats the rabbit.
((("cat" "eats" "cow" "+") ("cat" "sees" "cow" "+")) -> ("cat" "eats" "rabbit" "+"))
If the cat eats the cow and the cow sees the rabbit then the cow is red.
((("cat" "eats" "cow" "+") ("cow" "sees" "rabbit" "+")) -> ("cow" "is" "red" "+"))
If something visits the cat then it is red.
((("something" "visits" "cat" "+")) -> ("something" "is" "red" "+"))
The cow sees the cat.
True
1
proof
[(triple10)]
("cow" "sees" "cat" "+")
triple10
The cow is not kind.
False
1
inv-proof
[(triple8)]
("cow" "is" "kind" "-")
triple8
The rabbit is red.
True
2
proof
[(((triple15) -> rule3))]
("rabbit" "is" "red" "+")
((triple15) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is not red.
False
2
inv-proof
[(((triple15) -> rule3))]
("rabbit" "is" "red" "-")
((triple15) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "red" "-")
The cow is red.
Unknown
rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "red" "+")
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The cat eats the cow.[(triple1)] The cat is green.[(triple2)] The cat sees the cow.[(triple3)] The cat visits the rabbit.[(triple4)] The cow eats the cat.[(triple5)] The cow eats the rabbit.[(triple6)] The cow is green.[(triple7)] The cow is kind.[(triple8)] The cow is rough.[(triple9)] The cow sees the cat.[(triple10)] The cow visits the rabbit.[(triple11)] The rabbit eats the cow.[(triple12)] The rabbit is green.[(triple13)] The rabbit sees the cat.[(triple14)] The rabbit visits the cat.[(triple15)] The rabbit visits the cow.[(triple16)] @1: The cat eats the rabbit.[(((triple1 triple3) -> rule1))] The rabbit is red.[(((triple15) -> rule3))]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat sees the cow.
("cat" "sees" "cow" "+")
triple3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple4
The cow eats the cat.
("cow" "eats" "cat" "+")
triple5
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple6
The cow is green.
("cow" "is" "green" "+")
triple7
The cow is kind.
("cow" "is" "kind" "+")
triple8
The cow is rough.
("cow" "is" "rough" "+")
triple9
The cow sees the cat.
("cow" "sees" "cat" "+")
triple10
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple11
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple12
The rabbit is green.
("rabbit" "is" "green" "+")
triple13
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple14
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple15
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple16
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
((triple1 triple3) -> (rule1 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
((triple15) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1