Charlie is not green. Charlie is round. Charlie is smart. Erin is green. Erin is quiet. Erin is red. Erin is round. Erin is white. Erin is young. Fiona is not white. Fiona is not young. Gary is not green. If someone is round and not white then they are not quiet. White people are green. If Charlie is not smart then Charlie is round. If Fiona is green then Fiona is not round. If someone is red and not smart then they are young. If someone is green and not quiet then they are not young. If someone is round then they are red. Young, round people are red.
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Fiona is not young.
("Fiona" "is" "young" "-")
Gary is not green.
("Gary" "is" "green" "-")
If someone is round and not white then they are not quiet.
((("someone" "is" "round" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "quiet" "-"))
White people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If Charlie is not smart then Charlie is round.
((("Charlie" "is" "smart" "~")) -> ("Charlie" "is" "round" "+"))
If Fiona is green then Fiona is not round.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "round" "-"))
If someone is red and not smart then they are young.
((("someone" "is" "red" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "young" "+"))
If someone is green and not quiet then they are not young.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "young" "-"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Young, round people are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Charlie is round.
True
1
proof
[(triple2)]
("Charlie" "is" "round" "+")
triple2
Charlie is not smart.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "smart" "-")
triple3
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "red" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Charlie is not green.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Erin is green.[(triple4 OR ((triple8) -> rule2))] Erin is quiet.[(triple5)] Erin is red.[(triple6 OR ((triple7) -> rule7) OR ((triple9 triple7) -> rule8))] Erin is round.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Fiona is not white.[(triple10)] Fiona is not young.[(triple11)] Gary is not green.[(triple12)] @1: Charlie is red.[(((triple2) -> rule7))]
Charlie is not green.
("Charlie" "is" "green" "-")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
((triple8) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
((triple7) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple9 triple7) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Fiona is not white.
("Fiona" "is" "white" "-")
triple10
Fiona is not young.
("Fiona" "is" "young" "-")
triple11
Gary is not green.
("Gary" "is" "green" "-")
triple12
Charlie is red.
("Charlie" "is" "red" "+")
((triple2) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1