Dave is furry. Dave is green. Dave is quiet. Dave is round. Dave is smart. Fiona is blue. Fiona is furry. Furry, kind people are round. Round, kind people are furry. If Dave is furry then Dave is blue.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Furry, kind people are round.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Round, kind people are furry.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If Dave is furry then Dave is blue.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "blue" "+"))
Dave is round.
True
1
proof
[(triple4)]
("Dave" "is" "round" "+")
triple4
Dave is not smart.
False
1
inv-proof
[(triple5)]
("Dave" "is" "smart" "-")
triple5
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is quiet.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] @1: Dave is blue.[(((triple1) -> rule3))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1