Charlie is not rough. Dave is not green. Fiona is not rough. Rough people are not smart. If someone is green then they are not rough. All round people are rough. Green people are not nice. If Fiona is not rough then Fiona is nice. If someone is green and not nice then they are not kind.
Charlie is not rough.
("Charlie" "is" "rough" "-")
Dave is not green.
("Dave" "is" "green" "-")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Rough people are not smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "-"))
If someone is green then they are not rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "-"))
All round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Green people are not nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "-"))
If Fiona is not rough then Fiona is nice.
((("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "nice" "+"))
If someone is green and not nice then they are not kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "kind" "-"))
Dave is not green.
True
1
proof
[(triple2)]
("Dave" "is" "green" "-")
triple2
Charlie is rough.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "rough" "+")
triple1
Fiona is nice.
True
2
proof
[(((triple3) -> rule5))]
("Fiona" "is" "nice" "+")
((triple3) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple3) -> rule5))]
("Fiona" "is" "nice" "-")
((triple3) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Charlie is not rough.[(triple1)] Dave is not green.[(triple2)] Fiona is not rough.[(triple3)] @1: Fiona is nice.[(((triple3) -> rule5))]
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple1
Dave is not green.
("Dave" "is" "green" "-")
triple2
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple3) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1