The bald eagle is young. The cat is rough. The cat is young. The cat sees the mouse. The lion eats the bald eagle. The lion eats the mouse. The lion is cold. The lion is nice. The lion is rough. The lion needs the mouse. The mouse eats the cat. The mouse is kind. The mouse is rough. The mouse needs the lion. The mouse sees the cat. If something needs the bald eagle then it is kind. If something eats the cat and it is cold then the cat sees the mouse. If something is rough then it sees the cat. If something needs the lion and it needs the bald eagle then it eats the cat. If something needs the mouse then the mouse is nice. If something sees the cat and the cat sees the bald eagle then the cat eats the lion. If something sees the cat and the cat is young then the cat needs the lion. If something eats the cat then it eats the mouse.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
If something needs the bald eagle then it is kind.
((("something" "needs" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
If something eats the cat and it is cold then the cat sees the mouse.
((("something" "eats" "cat" "+") ("something" "is" "cold" "+")) -> ("cat" "sees" "mouse" "+"))
If something is rough then it sees the cat.
((("something" "is" "rough" "+")) -> ("something" "sees" "cat" "+"))
If something needs the lion and it needs the bald eagle then it eats the cat.
((("something" "needs" "lion" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "eats" "cat" "+"))
If something needs the mouse then the mouse is nice.
((("something" "needs" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If something sees the cat and the cat sees the bald eagle then the cat eats the lion.
((("something" "sees" "cat" "+") ("cat" "sees" "bald eagle" "+")) -> ("cat" "eats" "lion" "+"))
If something sees the cat and the cat is young then the cat needs the lion.
((("something" "sees" "cat" "+") ("cat" "is" "young" "+")) -> ("cat" "needs" "lion" "+"))
If something eats the cat then it eats the mouse.
((("something" "eats" "cat" "+")) -> ("something" "eats" "mouse" "+"))
The mouse is kind.
True
1
proof
[(triple12)]
("mouse" "is" "kind" "+")
triple12
The mouse does not eat the cat.
False
1
inv-proof
[(triple11)]
("mouse" "eats" "cat" "-")
triple11
The mouse is nice.
True
2
proof
[(((triple10) -> rule5))]
("mouse" "is" "nice" "+")
((triple10) -> (rule5 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The lion does not see the cat.
False
2
inv-proof
[(((triple9) -> rule3))]
("lion" "sees" "cat" "-")
((triple9) -> (rule3 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The cat is not kind.
Unknown
inv-rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "kind" "-")
The bald eagle eats the mouse.
Unknown
rconc
[@2: The bald eagle eats the mouse.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("bald eagle" "eats" "mouse" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The mouse eats the lion.
Unknown
random
[@0: The mouse eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "lion" "+")
@0: The bald eagle is young.[(triple1)] The cat is rough.[(triple2)] The cat is young.[(triple3)] The cat sees the mouse.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion eats the mouse.[(triple6)] The lion is cold.[(triple7)] The lion is nice.[(triple8)] The lion is rough.[(triple9)] The lion needs the mouse.[(triple10)] The mouse eats the cat.[(triple11)] The mouse is kind.[(triple12)] The mouse is rough.[(triple13)] The mouse needs the lion.[(triple14)] The mouse sees the cat.[(triple15 OR ((triple13) -> rule3))] @1: The cat needs the lion.[(((triple15 triple3) -> rule7) OR ((((triple13) -> rule3) triple3) -> rule7) OR ((((triple2) -> rule3) triple3) -> rule7) OR ((((triple9) -> rule3) triple3) -> rule7))] The cat sees the cat.[(((triple2) -> rule3))] The lion sees the cat.[(((triple9) -> rule3))] The mouse eats the mouse.[(((triple11) -> rule8))] The mouse is nice.[(((triple10) -> rule5))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cat is rough.
("cat" "is" "rough" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple4
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple5
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple6
The lion is cold.
("lion" "is" "cold" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple10
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
triple12
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple14
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple15
((triple13) -> (rule3 % int1))
The mouse sees the cat.
("mouse" "sees" "cat" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
((triple15 triple3) -> (rule7 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
((((triple13) -> (rule3 % int2)) triple3) -> (rule7 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The mouse sees the cat.
("mouse" "sees" "cat" "+")
int2
((((triple2) -> (rule3 % int2)) triple3) -> (rule7 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
((((triple9) -> (rule3 % int2)) triple3) -> (rule7 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The lion sees the cat.
("lion" "sees" "cat" "+")
int2
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple2) -> (rule3 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The lion sees the cat.
("lion" "sees" "cat" "+")
((triple9) -> (rule3 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple11) -> (rule8 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
((triple10) -> (rule5 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1