The bear sees the lion. The dog is nice. The lion is nice. The mouse eats the lion. All nice things are big.
The bear sees the lion.
("bear" "sees" "lion" "+")
The dog is nice.
("dog" "is" "nice" "+")
The lion is nice.
("lion" "is" "nice" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
All nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
The dog is nice.
True
1
proof
[(triple2)]
("dog" "is" "nice" "+")
triple2
The dog is not nice.
False
1
inv-proof
[(triple2)]
("dog" "is" "nice" "-")
triple2
The dog is big.
True
2
proof
[(((triple2) -> rule1))]
("dog" "is" "big" "+")
((triple2) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is not big.
False
2
inv-proof
[(((triple2) -> rule1))]
("dog" "is" "big" "-")
((triple2) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The mouse is not big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "big" "-")
The bear is big.
Unknown
rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "big" "+")
The dog does not see the lion.
Unknown
inv-random
[@0: The dog sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "lion" "-")
The mouse sees the lion.
Unknown
random
[@0: The mouse sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "lion" "+")
@0: The bear sees the lion.[(triple1)] The dog is nice.[(triple2)] The lion is nice.[(triple3)] The mouse eats the lion.[(triple4)] @1: The dog is big.[(((triple2) -> rule1))] The lion is big.[(((triple3) -> rule1))]
The bear sees the lion.
("bear" "sees" "lion" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
triple3
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple4
The dog is big.
("dog" "is" "big" "+")
((triple2) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The lion is big.
("lion" "is" "big" "+")
((triple3) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1