Charlie is quiet. Fiona is red. Gary is quiet. Quiet people are round. All big people are not round. Big people are furry. If someone is round and not quiet then they are not green. Rough, furry people are not red. If Charlie is not round then Charlie is red. If someone is red and quiet then they are not rough. All green, red people are rough.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Quiet people are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
All big people are not round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "-"))
Big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
If someone is round and not quiet then they are not green.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "green" "-"))
Rough, furry people are not red.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "red" "-"))
If Charlie is not round then Charlie is red.
((("Charlie" "is" "round" "~")) -> ("Charlie" "is" "red" "+"))
If someone is red and quiet then they are not rough.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "-"))
All green, red people are rough.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Fiona is red.
True
1
proof
[(triple2)]
("Fiona" "is" "red" "+")
triple2
Gary is not quiet.
False
1
inv-proof
[(triple3)]
("Gary" "is" "quiet" "-")
triple3
Charlie is round.
True
2
proof
[(((triple1) -> rule1))]
("Charlie" "is" "round" "+")
((triple1) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple3) -> rule1))]
("Gary" "is" "round" "-")
((triple3) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "rough" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "rough" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Charlie is quiet.[(triple1)] Fiona is red.[(triple2)] Gary is quiet.[(triple3)] @1: Charlie is round.[(((triple1) -> rule1))] Gary is round.[(((triple3) -> rule1))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
((triple1) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple3) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1