Charlie is white. Erin is blue. Erin is kind. Erin is not rough. Erin is round. Erin is not smart. Erin is white. Fiona is not blue. Fiona is not smart. Fiona is white. If someone is kind then they are green. If Fiona is not green then Fiona is round.
Charlie is white.
("Charlie" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is kind then they are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If Fiona is not green then Fiona is round.
((("Fiona" "is" "green" "~")) -> ("Fiona" "is" "round" "+"))
Charlie is white.
True
1
proof
[(triple1)]
("Charlie" "is" "white" "+")
triple1
Erin is not blue.
False
1
inv-proof
[(triple2)]
("Erin" "is" "blue" "-")
triple2
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is white.[(triple1)] Erin is blue.[(triple2)] Erin is kind.[(triple3)] Erin is not rough.[(triple4)] Erin is not smart.[(triple6)] Erin is round.[(triple5)] Erin is white.[(triple7)] Fiona is not blue.[(triple8)] Fiona is not smart.[(triple9)] Fiona is white.[(triple10)] @1: Erin is green.[(((triple3) -> rule1))]
Charlie is white.
("Charlie" "is" "white" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is not rough.
("Erin" "is" "rough" "-")
triple4
Erin is not smart.
("Erin" "is" "smart" "-")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple7
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple8
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
((triple3) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1