Anne is not cold. Anne is quiet. Anne is round. Dave is furry. Erin is furry. Fiona is cold. Fiona is kind. If something is round then it is smart. If Fiona is quiet then Fiona is furry.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
If something is round then it is smart.
((("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
If Fiona is quiet then Fiona is furry.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "furry" "+"))
Erin is furry.
True
1
proof
[(triple5)]
("Erin" "is" "furry" "+")
triple5
Fiona is not cold.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "cold" "-")
triple6
Anne is smart.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is not smart.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "smart" "-")
((triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "furry" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Anne is not cold.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Dave is furry.[(triple4)] Erin is furry.[(triple5)] Fiona is cold.[(triple6)] Fiona is kind.[(triple7)] @1: Anne is smart.[(((triple3) -> rule1))]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Anne is smart.
("Anne" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1