Dave is furry. Dave is round. Dave is smart. Dave is white. Dave is young. Fiona is green. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. Gary is round. If something is quiet and white then it is smart. If Gary is white then Gary is smart. If Gary is furry then Gary is round.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
If something is quiet and white then it is smart.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
If Gary is white then Gary is smart.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "smart" "+"))
If Gary is furry then Gary is round.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "round" "+"))
Fiona is white.
True
1
proof
[(triple10)]
("Fiona" "is" "white" "+")
triple10
Fiona is not white.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "white" "-")
triple10
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "smart" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Dave is furry.[(triple1)] Dave is round.[(triple2)] Dave is smart.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Fiona is green.[(triple6)] Fiona is quiet.[(triple7)] Fiona is round.[(triple8)] Fiona is smart.[(triple9 OR ((triple7 triple10) -> rule1))] Fiona is white.[(triple10)] Fiona is young.[(triple11)] Gary is round.[(triple12)]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
((triple7 triple10) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12