Anne is quiet. Fiona is big. If something is kind and big then it is green. If Fiona is big then Fiona is furry. All furry, red things are green. If Fiona is red then Fiona is kind. Red things are kind. Furry things are kind.
Anne is quiet.
("Anne" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
If something is kind and big then it is green.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If Fiona is big then Fiona is furry.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "furry" "+"))
All furry, red things are green.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If Fiona is red then Fiona is kind.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "kind" "+"))
Red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
Furry things are kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Fiona is big.
True
1
proof
[(triple2)]
("Fiona" "is" "big" "+")
triple2
Anne is not quiet.
False
1
inv-proof
[(triple1)]
("Anne" "is" "quiet" "-")
triple1
Fiona is furry.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple2) -> rule2))]
("Fiona" "is" "furry" "-")
((triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple2) -> rule2)) -> rule6))]
("Fiona" "is" "kind" "+")
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not kind.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule6))]
("Fiona" "is" "kind" "-")
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Anne is kind.
Unknown
rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "kind" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is quiet.[(triple1)] Fiona is big.[(triple2)] @1: Fiona is furry.[(((triple2) -> rule2))] @2: Fiona is kind.[(((((triple2) -> rule2)) -> rule6))] @3: Fiona is green.[(((((((triple2) -> rule2)) -> rule6) triple2) -> rule1))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3