Anne is green. Anne is not kind. Anne is not red. Charlie is green. Charlie is quiet. Fiona is green. Fiona is kind. Fiona is not red. Harry is quiet. Harry is not round. If someone is kind then they are not red. Round, nice people are rough. If someone is rough and not quiet then they are nice. If someone is kind and not red then they are nice. Red, round people are not green. If someone is red and not rough then they are green.
Anne is green.
("Anne" "is" "green" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is not red.
("Anne" "is" "red" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not round.
("Harry" "is" "round" "-")
If someone is kind then they are not red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "-"))
Round, nice people are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and not quiet then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "nice" "+"))
If someone is kind and not red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "nice" "+"))
Red, round people are not green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "-"))
If someone is red and not rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "green" "+"))
Fiona is kind.
True
1
proof
[(triple7)]
("Fiona" "is" "kind" "+")
triple7
Fiona is not green.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "green" "-")
triple6
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "rough" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is green.[(triple1)] Anne is not kind.[(triple2)] Anne is not red.[(triple3)] Charlie is green.[(triple4)] Charlie is quiet.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is not red.[(triple8 OR ((triple7) -> rule1))] Harry is not round.[(triple10)] Harry is quiet.[(triple9)] @1: Fiona is nice.[(((triple7 triple8) -> rule4) OR ((triple7 ((triple7) -> rule1)) -> rule4))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is not kind.
("Anne" "is" "kind" "-")
triple2
Anne is not red.
("Anne" "is" "red" "-")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is not red.
("Fiona" "is" "red" "-")
triple8
((triple7) -> (rule1 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Harry is not round.
("Harry" "is" "round" "-")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple7 triple8) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple7 ((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not red.
("Fiona" "is" "red" "-")
int2