Anne is young. Dave is big. Dave is quiet. Erin is red. Erin is rough. Harry is green. Harry is quiet. All big, quiet things are rough. If Erin is quiet then Erin is green.
Anne is young.
("Anne" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All big, quiet things are rough.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If Erin is quiet then Erin is green.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "green" "+"))
Dave is quiet.
True
1
proof
[(triple3)]
("Dave" "is" "quiet" "+")
triple3
Harry is not green.
False
1
inv-proof
[(triple6)]
("Harry" "is" "green" "-")
triple6
Dave is rough.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Dave" "is" "rough" "+")
((triple2 triple3) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Dave" "is" "rough" "-")
((triple2 triple3) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "green" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Anne is young.[(triple1)] Dave is big.[(triple2)] Dave is quiet.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Harry is green.[(triple6)] Harry is quiet.[(triple7)] @1: Dave is rough.[(((triple2 triple3) -> rule1))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
((triple2 triple3) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1