Anne is rough. Dave is red. Fiona is rough. All kind things are red. All quiet things are kind. If Dave is rough then Dave is furry. If Fiona is kind and Fiona is nice then Fiona is rough. Nice, rough things are red. If something is rough then it is nice. If something is quiet and nice then it is red. All blue, kind things are rough.
Anne is rough.
("Anne" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
All quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If Dave is rough then Dave is furry.
((("Dave" "is" "rough" "+")) -> ("Dave" "is" "furry" "+"))
If Fiona is kind and Fiona is nice then Fiona is rough.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "rough" "+"))
Nice, rough things are red.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something is rough then it is nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If something is quiet and nice then it is red.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
All blue, kind things are rough.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Fiona is rough.
True
1
proof
[(triple3)]
("Fiona" "is" "rough" "+")
triple3
Anne is not rough.
False
1
inv-proof
[(triple1)]
("Anne" "is" "rough" "-")
triple1
Anne is nice.
True
2
proof
[(((triple1) -> rule6))]
("Anne" "is" "nice" "+")
((triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple3) -> rule6))]
("Fiona" "is" "nice" "-")
((triple3) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
True
4
proof
[(((((triple3) -> rule6) triple3) -> rule5))]
("Fiona" "is" "red" "+")
((((triple3) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not red.
False
4
inv-proof
[(((((triple3) -> rule6) triple3) -> rule5))]
("Fiona" "is" "red" "-")
((((triple3) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Dave is not furry.
Unknown
inv-rconc
[@2: Dave is furry.[CWA. Example of deepest failure = (rule3 <- rule8 <- FAIL)]]
("Dave" "is" "furry" "-")
Fiona is kind.
Unknown
rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "+")
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule6 <- rule8 <- FAIL)]]
("Dave" "is" "nice" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is rough.[(triple1)] Dave is red.[(triple2)] Fiona is rough.[(triple3)] @1: Anne is nice.[(((triple1) -> rule6))] Fiona is nice.[(((triple3) -> rule6))] @2: Anne is red.[(((((triple1) -> rule6) triple1) -> rule5))] Fiona is red.[(((((triple3) -> rule6) triple3) -> rule5))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple3) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((((triple1) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple3) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2