Bob is round. Bob is young. Dave is big. Dave is blue. Dave is round. Fiona is blue. Gary is round. If Dave is cold then Dave is round. Young, cold people are round. If someone is quiet then they are young.
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
If Dave is cold then Dave is round.
((("Dave" "is" "cold" "+")) -> ("Dave" "is" "round" "+"))
Young, cold people are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is quiet then they are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Bob is round.
True
1
proof
[(triple1)]
("Bob" "is" "round" "+")
triple1
Fiona is not blue.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "blue" "-")
triple6
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is round.[(triple1)] Bob is young.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is round.[(triple5)] Fiona is blue.[(triple6)] Gary is round.[(triple7)]
Bob is round.
("Bob" "is" "round" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7