Anne is round. Dave is quiet. Fiona is big. Fiona is green. Fiona is quiet. Gary is big. Gary is young. All quiet, furry people are round. If Fiona is quiet and Fiona is green then Fiona is big.
Anne is round.
("Anne" "is" "round" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
All quiet, furry people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If Fiona is quiet and Fiona is green then Fiona is big.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "big" "+"))
Fiona is quiet.
True
1
proof
[(triple5)]
("Fiona" "is" "quiet" "+")
triple5
Fiona is not big.
False
1
inv-proof
[(triple3 OR ((triple5 triple4) -> rule2))]
("Fiona" "is" "big" "-")
triple3
((triple5 triple4) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Anne is round.[(triple1)] Dave is quiet.[(triple2)] Fiona is big.[(triple3 OR ((triple5 triple4) -> rule2))] Fiona is green.[(triple4)] Fiona is quiet.[(triple5)] Gary is big.[(triple6)] Gary is young.[(triple7)]
Anne is round.
("Anne" "is" "round" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
((triple5 triple4) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7