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