Bob is kind. Fiona is green. If something is blue then it is cold. If something is quiet and rough then it is blue. If something is young and green then it is rough. If something is quiet then it is green. If something is young and blue then it is rough. All blue, kind things are green. If something is blue then it is quiet. All kind things are young.
Bob is kind.
("Bob" "is" "kind" "+")
Fiona is green.
("Fiona" "is" "green" "+")
If something is blue then it is cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If something is quiet and rough then it is blue.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is young and green then it is rough.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If something is quiet then it is green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If something is young and blue then it is rough.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
All blue, kind things are green.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
If something is blue then it is quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
All kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
Bob is kind.
True
1
proof
[(triple1)]
("Bob" "is" "kind" "+")
triple1
Bob is not kind.
False
1
inv-proof
[(triple1)]
("Bob" "is" "kind" "-")
triple1
Bob is young.
True
2
proof
[(((triple1) -> rule8))]
("Bob" "is" "young" "+")
((triple1) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple1) -> rule8))]
("Bob" "is" "young" "-")
((triple1) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not green.
Unknown
inv-rconc
[@3: Bob is green.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Fiona is cold.
Unknown
rconc
[@3: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule7 <- FAIL)]]
("Fiona" "is" "cold" "+")
@0: Bob is kind.[(triple1)] Fiona is green.[(triple2)] @1: Bob is young.[(((triple1) -> rule8))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1