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