Fiona is rough. Harry is rough. If something is blue then it is smart. If something is round and smart then it is rough. Rough things are quiet. If Fiona is rough and Fiona is kind then Fiona is quiet. If Fiona is smart then Fiona is round. Kind, round things are green. Blue, kind things are round. If Fiona is quiet and Fiona is green then Fiona is smart.
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If something is blue then it is smart.
((("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If something is round and smart then it is rough.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
Rough things are quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is rough and Fiona is kind then Fiona is quiet.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "quiet" "+"))
If Fiona is smart then Fiona is round.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "round" "+"))
Kind, round things are green.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Blue, kind things are round.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If Fiona is quiet and Fiona is green then Fiona is smart.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "smart" "+"))
Harry is rough.
True
1
proof
[(triple2)]
("Harry" "is" "rough" "+")
triple2
Harry is not rough.
False
1
inv-proof
[(triple2)]
("Harry" "is" "rough" "-")
triple2
Harry is quiet.
True
2
proof
[(((triple2) -> rule3))]
("Harry" "is" "quiet" "+")
((triple2) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "quiet" "-")
((triple1) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "green" "-")
Fiona is round.
Unknown
rconc
[@3: Fiona is round.[CWA. Example of deepest failure = (rule5 <- rule8 <- rule6 <- FAIL)]]
("Fiona" "is" "round" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Fiona is rough.[(triple1)] Harry is rough.[(triple2)] @1: Fiona is quiet.[(((triple1) -> rule3))] Harry is quiet.[(((triple2) -> rule3))]
Fiona is rough.
("Fiona" "is" "rough" "+")
triple1
Harry is rough.
("Harry" "is" "rough" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple1) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple2) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1