Anne is rough. Fiona is kind. Gary is kind. If Gary is red then Gary is rough. Rough things are not quiet. All green, nice things are kind. All round, red things are green. All nice, quiet things are green. If Fiona is red then Fiona is quiet. Kind things are nice. If Fiona is kind then Fiona is red.
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If Gary is red then Gary is rough.
((("Gary" "is" "red" "+")) -> ("Gary" "is" "rough" "+"))
Rough things are not quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "-"))
All green, nice things are kind.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
All round, red things are green.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
All nice, quiet things are green.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If Fiona is red then Fiona is quiet.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "quiet" "+"))
Kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If Fiona is kind then Fiona is red.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "red" "+"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Fiona is not kind.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "kind" "-")
triple2
Fiona is nice.
True
2
proof
[(((triple2) -> rule7))]
("Fiona" "is" "nice" "+")
((triple2) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple3) -> rule7))]
("Gary" "is" "nice" "-")
((triple3) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Fiona is quiet.
True
3
proof
[(((((triple2) -> rule8)) -> rule6))]
("Fiona" "is" "quiet" "+")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not quiet.
False
3
inv-proof
[(((((triple2) -> rule8)) -> rule6))]
("Fiona" "is" "quiet" "-")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "green" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "+")
Anne is not nice.
Unknown
inv-rconc
[@2: Anne is nice.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Anne" "is" "nice" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Anne is rough.[(triple1)] Fiona is kind.[(triple2)] Gary is kind.[(triple3)] @1: Anne is not quiet.[(((triple1) -> rule2))] Fiona is nice.[(((triple2) -> rule7))] Fiona is red.[(((triple2) -> rule8))] Gary is nice.[(((triple3) -> rule7))] @2: Fiona is quiet.[(((((triple2) -> rule8)) -> rule6))] @3: Fiona is green.[(((((triple2) -> rule7) ((((triple2) -> rule8)) -> rule6)) -> rule5))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Anne is not quiet.
("Anne" "is" "quiet" "-")
((triple1) -> (rule2 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple2) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple2) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple3) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
((((triple2) -> (rule7 % int4)) ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4