The lion is cold. The lion is green. The lion is kind. The lion is nice. The lion is young. All young people are nice. If someone is young and green then they are nice. All young, cold people are nice. Green people are nice. If someone is cold and young then they are kind. Green, kind people are cold.
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is young.
("lion" "is" "young" "+")
All young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
All young, cold people are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Green, kind people are cold.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
The lion is green.
True
1
proof
[(triple2)]
("lion" "is" "green" "+")
triple2
The lion is not cold.
False
1
inv-proof
[(triple1 OR ((triple2 triple3) -> rule6))]
("lion" "is" "cold" "-")
triple1
((triple2 triple3) -> (rule6 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
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 needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The lion is cold.[(triple1 OR ((triple2 triple3) -> rule6))] The lion is green.[(triple2)] The lion is kind.[(triple3 OR ((triple1 triple5) -> rule5))] The lion is nice.[(triple4 OR ((triple2) -> rule4) OR ((triple5) -> rule1) OR ((triple5 triple1) -> rule3) OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple2 triple3) -> rule6)) -> rule3))] The lion is young.[(triple5)]
The lion is cold.
("lion" "is" "cold" "+")
triple1
((triple2 triple3) -> (rule6 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is green.
("lion" "is" "green" "+")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple3
((triple1 triple5) -> (rule5 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
triple4
((triple2) -> (rule4 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
((triple5) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
((triple5 triple1) -> (rule3 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
((triple5 triple2) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
((triple5 ((triple2 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is young.
("lion" "is" "young" "+")
triple5