Charlie is green. Fiona is quiet. Fiona is rough. Blue things are rough. If something is quiet then it is young. All blue things are quiet. If something is young and nice then it is quiet. If something is quiet then it is nice. All blue things are nice.
Charlie is green.
("Charlie" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something is quiet then it is young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
All blue things are quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If something is young and nice then it is quiet.
((("something" "is" "young" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet then it is nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
All blue things are nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
Fiona is quiet.
True
1
proof
[(triple2)]
("Fiona" "is" "quiet" "+")
triple2
Fiona is not rough.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "rough" "-")
triple3
Fiona is nice.
True
2
proof
[(((triple2) -> rule5))]
("Fiona" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple2) -> rule5))]
("Fiona" "is" "nice" "-")
((triple2) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Charlie is not nice.
Unknown
inv-rconc
[@3: Charlie is nice.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule6 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Charlie is green.[(triple1)] Fiona is quiet.[(triple2)] Fiona is rough.[(triple3)] @1: Fiona is nice.[(((triple2) -> rule5))] Fiona is young.[(((triple2) -> rule2))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple2) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1