Dave is kind. Dave is not nice. Dave is not rough. Dave is round. Fiona is not nice. Fiona is quiet. Fiona is not rough. Kind people are round. All quiet people are kind. If Fiona is not blue then Fiona is kind.
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is round.
("Dave" "is" "round" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
All quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is not blue then Fiona is kind.
((("Fiona" "is" "blue" "~")) -> ("Fiona" "is" "kind" "+"))
Fiona is not rough.
True
1
proof
[(triple7)]
("Fiona" "is" "rough" "-")
triple7
Fiona is nice.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "nice" "+")
triple5
Fiona is kind.
True
2
proof
[(((triple6) -> rule2))]
("Fiona" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple6) -> rule2))]
("Fiona" "is" "kind" "-")
((triple6) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Dave is kind.[(triple1)] Dave is not nice.[(triple2)] Dave is not rough.[(triple3)] Dave is round.[(triple4 OR ((triple1) -> rule1))] Fiona is not nice.[(triple5)] Fiona is not rough.[(triple7)] Fiona is quiet.[(triple6)] @1: Fiona is kind.[(((triple6) -> rule2))] @2: Fiona is round.[(((((triple6) -> rule2)) -> rule1))]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Dave is not nice.
("Dave" "is" "nice" "-")
triple2
Dave is not rough.
("Dave" "is" "rough" "-")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
((triple1) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple5
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2