Dave is furry. Dave is round. Dave is young. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is young. If Harry is kind and Harry is round then Harry is rough. Rough, kind people are round. If Dave is kind and Dave is rough then Dave is smart.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is kind and Harry is round then Harry is rough.
((("Harry" "is" "kind" "+") ("Harry" "is" "round" "+")) -> ("Harry" "is" "rough" "+"))
Rough, kind people are round.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If Dave is kind and Dave is rough then Dave is smart.
((("Dave" "is" "kind" "+") ("Dave" "is" "rough" "+")) -> ("Dave" "is" "smart" "+"))
Harry is furry.
True
1
proof
[(triple4)]
("Harry" "is" "furry" "+")
triple4
Harry is not kind.
False
1
inv-proof
[(triple5)]
("Harry" "is" "kind" "-")
triple5
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "smart" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Dave is furry.[(triple1)] Dave is round.[(triple2)] Dave is young.[(triple3)] Harry is furry.[(triple4)] Harry is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is rough.[(triple7 OR ((triple5 triple8) -> rule1))] Harry is round.[(triple8 OR ((triple7 triple5) -> rule2))] Harry is smart.[(triple9)] Harry is young.[(triple10)]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
((triple5 triple8) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple8
((triple7 triple5) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10