Charlie is not rough. Charlie is not round. Dave is not kind. Dave is not rough. Fiona is green. Fiona is kind. Fiona is not rough. Fiona is white. Harry is green. Harry is kind. Harry is not rough. Harry is white. All cold people are white. All kind, cold people are white. If someone is round and not rough then they are quiet.
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is not round.
("Charlie" "is" "round" "-")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is not rough.
("Dave" "is" "rough" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is white.
("Harry" "is" "white" "+")
All cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
All kind, cold people are white.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If someone is round and not rough then they are quiet.
((("someone" "is" "round" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "quiet" "+"))
Dave is not rough.
True
1
proof
[(triple4)]
("Dave" "is" "rough" "-")
triple4
Fiona is not white.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "white" "-")
triple8
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "white" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Charlie is not rough.[(triple1)] Charlie is not round.[(triple2)] Dave is not kind.[(triple3)] Dave is not rough.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is not rough.[(triple7)] Fiona is white.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is not rough.[(triple11)] Harry is white.[(triple12)]
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple1
Charlie is not round.
("Charlie" "is" "round" "-")
triple2
Dave is not kind.
("Dave" "is" "kind" "-")
triple3
Dave is not rough.
("Dave" "is" "rough" "-")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is not rough.
("Harry" "is" "rough" "-")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12