The lion is blue. The lion is nice. The lion is round. Round, nice people are blue. If someone is round then they are big. All big, nice people are kind. If the lion is kind and the lion is big then the lion is nice. All round, big people are blue. If someone is big then they are blue.
The lion is blue.
("lion" "is" "blue" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
Round, nice people are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is round then they are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
All big, nice people are kind.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If the lion is kind and the lion is big then the lion is nice.
((("lion" "is" "kind" "+") ("lion" "is" "big" "+")) -> ("lion" "is" "nice" "+"))
All round, big people are blue.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
The lion is blue.
True
1
proof
[(triple1 OR ((triple3 triple2) -> rule1) OR ((((triple3) -> rule2)) -> rule6) OR ((triple3 ((triple3) -> rule2)) -> rule5))]
("lion" "is" "blue" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
((triple3 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion is not round.
False
1
inv-proof
[(triple3)]
("lion" "is" "round" "-")
triple3
The lion is big.
True
2
proof
[(((triple3) -> rule2))]
("lion" "is" "big" "+")
((triple3) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is not big.
False
2
inv-proof
[(((triple3) -> rule2))]
("lion" "is" "big" "-")
((triple3) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is kind.
True
4
proof
[(((((triple3) -> rule2) triple2) -> rule3))]
("lion" "is" "kind" "+")
((((triple3) -> (rule2 % int2)) triple2) -> (rule3 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion is not kind.
False
4
inv-proof
[(((((triple3) -> rule2) triple2) -> rule3))]
("lion" "is" "kind" "-")
((((triple3) -> (rule2 % int2)) triple2) -> (rule3 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The lion is blue.[(triple1 OR ((triple3 triple2) -> rule1) OR ((((triple3) -> rule2)) -> rule6) OR ((triple3 ((triple3) -> rule2)) -> rule5))] The lion is nice.[(triple2)] The lion is round.[(triple3)] @1: The lion is big.[(((triple3) -> rule2))] @2: The lion is kind.[(((((triple3) -> rule2) triple2) -> rule3))]
The lion is blue.
("lion" "is" "blue" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
((triple3 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
triple2
The lion is round.
("lion" "is" "round" "+")
triple3
The lion is big.
("lion" "is" "big" "+")
((triple3) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((((triple3) -> (rule2 % int2)) triple2) -> (rule3 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2