Anne is rough. Bob is not round. Fiona is quiet. Blue, quiet things are green. If something is quiet then it is green. All green things are not blue. If Fiona is quiet and Fiona is not green then Fiona is not furry. If something is young then it is not furry. All blue, furry things are young.
Anne is rough.
("Anne" "is" "rough" "+")
Bob is not round.
("Bob" "is" "round" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Blue, quiet things are green.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If something is quiet then it is green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
All green things are not blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "-"))
If Fiona is quiet and Fiona is not green then Fiona is not furry.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "green" "~")) -> ("Fiona" "is" "furry" "-"))
If something is young then it is not furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "-"))
All blue, furry things are young.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
Bob is not round.
True
1
proof
[(triple2)]
("Bob" "is" "round" "-")
triple2
Fiona is not quiet.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "quiet" "-")
triple3
Fiona is green.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "green" "+")
((triple3) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "green" "-")
((triple3) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "young" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is rough.[(triple1)] Bob is not round.[(triple2)] Fiona is quiet.[(triple3)] @1: Fiona is green.[(((triple3) -> rule2))] @2: Fiona is not blue.[(((((triple3) -> rule2)) -> rule3))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Bob is not round.
("Bob" "is" "round" "-")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
((triple3) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not blue.
("Fiona" "is" "blue" "-")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2