Fiona is furry. Gary is blue. Harry is red. If something is kind and red then it is round. Smart things are round. Furry things are quiet.
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
If something is kind and red then it is round.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
Smart things are round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
Furry things are quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
Gary is blue.
True
1
proof
[(triple2)]
("Gary" "is" "blue" "+")
triple2
Gary is not blue.
False
1
inv-proof
[(triple2)]
("Gary" "is" "blue" "-")
triple2
Fiona is quiet.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "quiet" "+")
((triple1) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "quiet" "-")
((triple1) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Fiona is round.
Unknown
rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Fiona is furry.[(triple1)] Gary is blue.[(triple2)] Harry is red.[(triple3)] @1: Fiona is quiet.[(((triple1) -> rule3))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Harry is red.
("Harry" "is" "red" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple1) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1