Anne is furry. Anne is quiet. Anne is smart. Anne is white. Dave is furry. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Erin is nice. Erin is white. Erin is young. Harry is rough. Harry is young. White, nice things are young.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
White, nice things are young.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Dave is quiet.
True
1
proof
[(triple7)]
("Dave" "is" "quiet" "+")
triple7
Dave is not nice.
False
1
inv-proof
[(triple6)]
("Dave" "is" "nice" "-")
triple6
Dave is young.
True
3
proof
[(((triple10 triple6) -> rule1))]
("Dave" "is" "young" "+")
((triple10 triple6) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not young.
False
3
inv-proof
[(((triple10 triple6) -> rule1))]
("Dave" "is" "young" "-")
((triple10 triple6) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Dave is furry.[(triple5)] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Dave is rough.[(triple8)] Dave is smart.[(triple9)] Dave is white.[(triple10)] Erin is nice.[(triple11)] Erin is white.[(triple12)] Erin is young.[(triple13 OR ((triple12 triple11) -> rule1))] Harry is rough.[(triple14)] Harry is young.[(triple15)] @1: Dave is young.[(((triple10 triple6) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple10
Erin is nice.
("Erin" "is" "nice" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Erin is young.
("Erin" "is" "young" "+")
triple13
((triple12 triple11) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Dave is young.
("Dave" "is" "young" "+")
((triple10 triple6) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1