Anne is furry. Dave is big. Dave is quiet. Dave is white. Dave is young. Erin is big. Erin is red. Erin is young. Harry is furry. Harry is red. Harry is round. Harry is young. All white things are furry. If Dave is white then Dave is furry.
Anne is furry.
("Anne" "is" "furry" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
All white things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If Dave is white then Dave is furry.
((("Dave" "is" "white" "+")) -> ("Dave" "is" "furry" "+"))
Harry is young.
True
1
proof
[(triple12)]
("Harry" "is" "young" "+")
triple12
Dave is not quiet.
False
1
inv-proof
[(triple3)]
("Dave" "is" "quiet" "-")
triple3
Dave is furry.
True
2
proof
[(((triple4) -> rule1) OR ((triple4) -> rule2))]
("Dave" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple4) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not furry.
False
2
inv-proof
[(((triple4) -> rule1) OR ((triple4) -> rule2))]
("Dave" "is" "furry" "-")
((triple4) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple4) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is furry.[(triple1)] Dave is big.[(triple2)] Dave is quiet.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Erin is big.[(triple6)] Erin is red.[(triple7)] Erin is young.[(triple8)] Harry is furry.[(triple9)] Harry is red.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Dave is furry.[(((triple4) -> rule1) OR ((triple4) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Dave is furry.
("Dave" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple4) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1