Fiona is quiet. Fiona is round. Harry is round. Quiet, round things are furry. If something is quiet and not furry then it is young.
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is round.
("Harry" "is" "round" "+")
Quiet, round things are furry.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If something is quiet and not furry then it is young.
((("something" "is" "quiet" "+") ("something" "is" "furry" "~")) -> ("something" "is" "young" "+"))
Harry is round.
True
1
proof
[(triple3)]
("Harry" "is" "round" "+")
triple3
Fiona is not round.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "round" "-")
triple2
Fiona is furry.
True
3
proof
[(((triple1 triple2) -> rule1))]
("Fiona" "is" "furry" "+")
((triple1 triple2) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("Fiona" "is" "furry" "-")
((triple1 triple2) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "furry" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is quiet.[(triple1)] Fiona is round.[(triple2)] Harry is round.[(triple3)] @1: Fiona is furry.[(((triple1 triple2) -> rule1))]
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Harry is round.
("Harry" "is" "round" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple1 triple2) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1