The cow eats the rabbit. The cow is big. The cow is green. The cow is kind. The cow is rough. The cow needs the rabbit. The cow visits the rabbit. The rabbit eats the cow. The rabbit needs the cow. The rabbit visits the cow. If someone is kind then they are rough. All young people are rough. If someone eats the cow then they eat the rabbit.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If someone is kind then they are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone eats the cow then they eat the rabbit.
((("someone" "eats" "cow" "+")) -> ("someone" "eats" "rabbit" "+"))
The cow is green.
True
1
proof
[(triple3)]
("cow" "is" "green" "+")
triple3
The cow does not need the rabbit.
False
1
inv-proof
[(triple6)]
("cow" "needs" "rabbit" "-")
triple6
The rabbit eats the rabbit.
True
2
proof
[(((triple8) -> rule3))]
("rabbit" "eats" "rabbit" "+")
((triple8) -> (rule3 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit does not eat the rabbit.
False
2
inv-proof
[(((triple8) -> rule3))]
("rabbit" "eats" "rabbit" "-")
((triple8) -> (rule3 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "rough" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
@0: The cow eats the rabbit.[(triple1)] The cow is big.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is rough.[(triple5 OR ((triple4) -> rule1))] The cow needs the rabbit.[(triple6)] The cow visits the rabbit.[(triple7)] The rabbit eats the cow.[(triple8)] The rabbit needs the cow.[(triple9)] The rabbit visits the cow.[(triple10)] @1: The rabbit eats the rabbit.[(((triple8) -> rule3))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
((triple4) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple6
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple7
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple8
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple9
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple10
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple8) -> (rule3 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1