The bear is round. All round things are blue. If something is round and not kind then it is young. All round, young things are cold. All young, round things are cold. If the bear is kind and the bear is cold then the bear is blue. If the bear is not round then the bear is not young.
The bear is round.
("bear" "is" "round" "+")
All round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something is round and not kind then it is young.
((("something" "is" "round" "+") ("something" "is" "kind" "~")) -> ("something" "is" "young" "+"))
All round, young things are cold.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
All young, round things are cold.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If the bear is kind and the bear is cold then the bear is blue.
((("bear" "is" "kind" "+") ("bear" "is" "cold" "+")) -> ("bear" "is" "blue" "+"))
If the bear is not round then the bear is not young.
((("bear" "is" "round" "~")) -> ("bear" "is" "young" "-"))
The bear is round.
True
1
proof
[(triple1)]
("bear" "is" "round" "+")
triple1
The bear is not round.
False
1
inv-proof
[(triple1)]
("bear" "is" "round" "-")
triple1
The bear is blue.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "blue" "-")
((triple1) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not cold.
Unknown
inv-rconc
[@2: The bear is cold.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("bear" "is" "cold" "-")
The bear is young.
Unknown
rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "young" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "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 round.[(triple1)] @1: The bear is blue.[(((triple1) -> rule1))]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1