The bear is blue. The bear is nice. The bear is round. All nice people are cold. Cold people are not kind. If someone is kind then they are nice. If someone is kind and not cold then they are blue. If someone is nice and cold then they are blue. If someone is nice and not cold then they are round. All kind people are round. All kind people are not round.
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
All nice people are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Cold people are not kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "-"))
If someone is kind then they are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and not cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "blue" "+"))
If someone is nice and cold then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and not cold then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "round" "+"))
All kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
All kind people are not round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "-"))
The bear is blue.
True
1
proof
[(triple1 OR ((triple2 ((triple2) -> rule1)) -> rule5))]
("bear" "is" "blue" "+")
triple1
((triple2 ((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is not nice.
False
1
inv-proof
[(triple2)]
("bear" "is" "nice" "-")
triple2
The bear is cold.
True
2
proof
[(((triple2) -> rule1))]
("bear" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "is" "cold" "-")
((triple2) -> (rule1 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is not kind.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("bear" "is" "kind" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is kind.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("bear" "is" "kind" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear is blue.[(triple1 OR ((triple2 ((triple2) -> rule1)) -> rule5))] The bear is nice.[(triple2)] The bear is round.[(triple3)] @1: The bear is cold.[(((triple2) -> rule1))] @2: The bear is not kind.[(((((triple2) -> rule1)) -> rule2))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
((triple2 ((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is not kind.
("bear" "is" "kind" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2