Charlie is not red. Charlie is smart. Dave is not rough. Dave is smart. Erin is white. Fiona is rough. Fiona is white. Rough people are red. If someone is furry then they are not quiet. If someone is white and not furry then they are not rough.
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is furry then they are not quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "-"))
If someone is white and not furry then they are not rough.
((("someone" "is" "white" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "rough" "-"))
Fiona is white.
True
1
proof
[(triple7)]
("Fiona" "is" "white" "+")
triple7
Fiona is not rough.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "rough" "-")
triple6
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "red" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Charlie is not red.[(triple1)] Charlie is smart.[(triple2)] Dave is not rough.[(triple3)] Dave is smart.[(triple4)] Erin is white.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7)] @1: Fiona is red.[(((triple6) -> rule1))]
Charlie is not red.
("Charlie" "is" "red" "-")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Dave is not rough.
("Dave" "is" "rough" "-")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
((triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1