Anne is big. Anne is furry. Anne is smart. Dave is not furry. Dave is not red. Fiona is not big. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Gary is smart. Big, rough things are furry. If something is furry and smart then it is rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not red.
("Dave" "is" "red" "-")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Big, rough things are furry.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
If something is furry and smart then it is rough.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
Fiona is smart.
True
1
proof
[(triple11)]
("Fiona" "is" "smart" "+")
triple11
Fiona is not smart.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "smart" "-")
triple11
Anne is rough.
True
3
proof
[(((triple2 triple3) -> rule2))]
("Anne" "is" "rough" "+")
((triple2 triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Anne" "is" "rough" "-")
((triple2 triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "furry" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is smart.[(triple3)] Dave is not furry.[(triple4)] Dave is not red.[(triple5)] Fiona is kind.[(triple7)] Fiona is not big.[(triple6)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Gary is smart.[(triple12)] @1: Anne is rough.[(((triple2 triple3) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Dave is not furry.
("Dave" "is" "furry" "-")
triple4
Dave is not red.
("Dave" "is" "red" "-")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is not big.
("Fiona" "is" "big" "-")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Anne is rough.
("Anne" "is" "rough" "+")
((triple2 triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1