Anne is cold. Anne is not furry. Anne is round. Fiona is furry. Fiona is green. Fiona is round. Fiona is smart. All green, kind things are not furry. If something is smart then it is furry. If something is kind then it is furry. Cold, smart things are not kind. All smart, green things are cold. Green things are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is round.
("Anne" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All green, kind things are not furry.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "-"))
If something is smart then it is furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
If something is kind then it is furry.
((("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
Cold, smart things are not kind.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "-"))
All smart, green things are cold.
((("something" "is" "smart" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
Green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Fiona is round.
True
1
proof
[(triple6)]
("Fiona" "is" "round" "+")
triple6
Anne is furry.
False
1
inv-proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Fiona is young.
True
2
proof
[(((triple5) -> rule6))]
("Fiona" "is" "young" "+")
((triple5) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple5) -> rule6))]
("Fiona" "is" "young" "-")
((triple5) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not kind.
True
5
proof
[(((((triple7 triple5) -> rule5) triple7) -> rule4))]
("Fiona" "is" "kind" "-")
((((triple7 triple5) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
False
5
inv-proof
[(((((triple7 triple5) -> rule5) triple7) -> rule4))]
("Fiona" "is" "kind" "+")
((((triple7 triple5) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is cold.[(triple1)] Anne is not furry.[(triple2)] Anne is round.[(triple3)] Fiona is furry.[(triple4 OR ((triple7) -> rule2))] Fiona is green.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] @1: Fiona is cold.[(((triple7 triple5) -> rule5))] Fiona is young.[(((triple5) -> rule6))] @2: Fiona is not kind.[(((((triple7 triple5) -> rule5) triple7) -> rule4))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
((triple7) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple7 triple5) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple5) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not kind.
("Fiona" "is" "kind" "-")
((((triple7 triple5) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2