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