The lion is blue. The lion is not green. The lion is young. Young people are nice. If someone is young then they are not green.
The lion is blue.
("lion" "is" "blue" "+")
The lion is not green.
("lion" "is" "green" "-")
The lion is young.
("lion" "is" "young" "+")
Young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is young then they are not green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "-"))
The lion is blue.
True
1
proof
[(triple1)]
("lion" "is" "blue" "+")
triple1
The lion is green.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule2))]
("lion" "is" "green" "+")
triple2
((triple3) -> (rule2 % int1))
The lion is not green.
("lion" "is" "green" "-")
int1
The lion is nice.
True
2
proof
[(((triple3) -> rule1))]
("lion" "is" "nice" "+")
((triple3) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is not nice.
False
2
inv-proof
[(((triple3) -> rule1))]
("lion" "is" "nice" "-")
((triple3) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The lion is blue.[(triple1)] The lion is not green.[(triple2 OR ((triple3) -> rule2))] The lion is young.[(triple3)] @1: The lion is nice.[(((triple3) -> rule1))]
The lion is blue.
("lion" "is" "blue" "+")
triple1
The lion is not green.
("lion" "is" "green" "-")
triple2
((triple3) -> (rule2 % int1))
The lion is not green.
("lion" "is" "green" "-")
int1
The lion is young.
("lion" "is" "young" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
((triple3) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1