The bald eagle eats the cow. The bald eagle likes the rabbit. The bald eagle does not visit the rabbit. The cow eats the bald eagle. The cow eats the rabbit. The cow is nice. The cow likes the rabbit. The rabbit eats the cow. The rabbit is round. The rabbit is young. If something likes the rabbit then it is young. If the cow eats the rabbit then the rabbit is big. If something likes the bald eagle then the bald eagle eats the rabbit. If something is nice and not big then it visits the rabbit. If something is young and cold then it likes the cow. If something visits the cow and the cow visits the rabbit then the cow is young.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If something likes the rabbit then it is young.
((("something" "likes" "rabbit" "+")) -> ("something" "is" "young" "+"))
If the cow eats the rabbit then the rabbit is big.
((("cow" "eats" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
If something likes the bald eagle then the bald eagle eats the rabbit.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
If something is nice and not big then it visits the rabbit.
((("something" "is" "nice" "+") ("something" "is" "big" "~")) -> ("something" "visits" "rabbit" "+"))
If something is young and cold then it likes the cow.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "likes" "cow" "+"))
If something visits the cow and the cow visits the rabbit then the cow is young.
((("something" "visits" "cow" "+") ("cow" "visits" "rabbit" "+")) -> ("cow" "is" "young" "+"))
The bald eagle likes the rabbit.
True
1
proof
[(triple2)]
("bald eagle" "likes" "rabbit" "+")
triple2
The cow does not like the rabbit.
False
1
inv-proof
[(triple7)]
("cow" "likes" "rabbit" "-")
triple7
The cow is young.
True
2
proof
[(((triple7) -> rule1))]
("cow" "is" "young" "+")
((triple7) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The rabbit is not big.
False
2
inv-proof
[(((triple5) -> rule2))]
("rabbit" "is" "big" "-")
((triple5) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The cow does not visit the rabbit.
Unknown
inv-rconc
[@1: The cow visits the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "visits" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "visits" "rabbit" "+")
The rabbit does not visit the cow.
Unknown
inv-random
[@0: The rabbit visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cow" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The bald eagle does not visit the rabbit.[(triple3)] The bald eagle eats the cow.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The cow eats the bald eagle.[(triple4)] The cow eats the rabbit.[(triple5)] The cow is nice.[(triple6)] The cow likes the rabbit.[(triple7)] The rabbit eats the cow.[(triple8)] The rabbit is round.[(triple9)] The rabbit is young.[(triple10)] @1: The bald eagle is young.[(((triple2) -> rule1))] The cow is young.[(((triple7) -> rule1))] The rabbit is big.[(((triple5) -> rule2))]
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
triple3
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple4
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple6
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple7
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The rabbit is young.
("rabbit" "is" "young" "+")
triple10
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple2) -> (rule1 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((triple7) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
((triple5) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1