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