Anne is quiet. Fiona is smart. Harry is rough. Quiet, blue people are kind. If Harry is smart then Harry is white. Smart people are rough. If someone is smart then they are quiet. All cold people are smart. All kind, smart people are cold.
Anne is quiet.
("Anne" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Quiet, blue people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If Harry is smart then Harry is white.
((("Harry" "is" "smart" "+")) -> ("Harry" "is" "white" "+"))
Smart people are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
If someone is smart then they are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
All cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
All kind, smart people are cold.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Anne is quiet.
True
1
proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Harry is not rough.
False
1
inv-proof
[(triple3)]
("Harry" "is" "rough" "-")
triple3
Fiona is rough.
True
2
proof
[(((triple2) -> rule3))]
("Fiona" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple2) -> rule4))]
("Fiona" "is" "quiet" "-")
((triple2) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is not smart.
Unknown
inv-rconc
[@2: Harry is smart.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Harry" "is" "smart" "-")
Anne is cold.
Unknown
rconc
[@2: Anne is cold.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Anne" "is" "cold" "+")
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is quiet.[(triple1)] Fiona is smart.[(triple2)] Harry is rough.[(triple3)] @1: Fiona is quiet.[(((triple2) -> rule4))] Fiona is rough.[(((triple2) -> rule3))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple2
Harry is rough.
("Harry" "is" "rough" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple2) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1