Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is smart. Dave is big. Dave is furry. Dave is quiet. Dave is young. Fiona is blue. Gary is big. Gary is furry. Gary is quiet. Gary is smart. Gary is young. All smart, young people are quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
All smart, young people are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is blue.
True
1
proof
[(triple11)]
("Fiona" "is" "blue" "+")
triple11
Gary is not big.
False
1
inv-proof
[(triple12)]
("Gary" "is" "big" "-")
triple12
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is quiet.[(triple5)] Anne is smart.[(triple6)] Dave is big.[(triple7)] Dave is furry.[(triple8)] Dave is quiet.[(triple9)] Dave is young.[(triple10)] Fiona is blue.[(triple11)] Gary is big.[(triple12)] Gary is furry.[(triple13)] Gary is quiet.[(triple14 OR ((triple15 triple16) -> rule1))] Gary is smart.[(triple15)] Gary is young.[(triple16)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Dave is quiet.
("Dave" "is" "quiet" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
((triple15 triple16) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16