The cat does not eat the cow. The cat is nice. The cat is not rough. The cat does not see the rabbit. The cow eats the cat. The cow eats the rabbit. The cow is not round. The cow sees the cat. The rabbit does not chase the cow. The rabbit eats the cat. The rabbit is rough. The rabbit sees the cow. All rough things are blue.
The cat does not eat the cow.
("cat" "eats" "cow" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The cat does not see the rabbit.
("cat" "sees" "rabbit" "-")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is not round.
("cow" "is" "round" "-")
The cow sees the cat.
("cow" "sees" "cat" "+")
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
All rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
The cow eats the cat.
True
1
proof
[(triple5)]
("cow" "eats" "cat" "+")
triple5
The cow does not eat the cat.
False
1
inv-proof
[(triple5)]
("cow" "eats" "cat" "-")
triple5
The cat is not blue.
Unknown
inv-rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "blue" "-")
The rabbit sees the cat.
Unknown
random
[@0: The rabbit sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "cat" "+")
@0: The cat does not eat the cow.[(triple1)] The cat does not see the rabbit.[(triple4)] The cat is nice.[(triple2)] The cat is not rough.[(triple3)] The cow eats the cat.[(triple5)] The cow eats the rabbit.[(triple6)] The cow is not round.[(triple7)] The cow sees the cat.[(triple8)] The rabbit does not chase the cow.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit is rough.[(triple11)] The rabbit sees the cow.[(triple12)] @1: The rabbit is blue.[(((triple11) -> rule1))]
The cat does not eat the cow.
("cat" "eats" "cow" "-")
triple1
The cat does not see the rabbit.
("cat" "sees" "rabbit" "-")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat is not rough.
("cat" "is" "rough" "-")
triple3
The cow eats the cat.
("cow" "eats" "cat" "+")
triple5
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple6
The cow is not round.
("cow" "is" "round" "-")
triple7
The cow sees the cat.
("cow" "sees" "cat" "+")
triple8
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
triple9
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple11
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple12
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple11) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1