Anne is quiet. Anne is rough. Dave is big. Young, quiet people are rough. All rough people are young. Rough, cold people are kind. All kind, quiet people are big. All cold, kind people are young. If Dave is big then Dave is rough. All quiet people are nice. If Dave is kind and Dave is cold then Dave is big.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Young, quiet people are rough.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
All rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Rough, cold people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
All kind, quiet people are big.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
All cold, kind people are young.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If Dave is big then Dave is rough.
((("Dave" "is" "big" "+")) -> ("Dave" "is" "rough" "+"))
All quiet people are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
If Dave is kind and Dave is cold then Dave is big.
((("Dave" "is" "kind" "+") ("Dave" "is" "cold" "+")) -> ("Dave" "is" "big" "+"))
Anne is rough.
True
1
proof
[(triple2)]
("Anne" "is" "rough" "+")
triple2
Anne is not rough.
False
1
inv-proof
[(triple2)]
("Anne" "is" "rough" "-")
triple2
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "kind" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Dave is big.[(triple3)] @1: Anne is nice.[(((triple1) -> rule7))] Anne is young.[(((triple2) -> rule2))] Dave is rough.[(((triple3) -> rule6))] @2: Dave is young.[(((((triple3) -> rule6)) -> rule2))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple2) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple3) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2