Dave is green. Dave is kind. Dave is not nice. Dave is not rough. Dave is young. Erin is green. Erin is rough. Fiona is kind. Fiona is nice. Fiona is round. If someone is round and not red then they are young. If someone is young and not red then they are round. If Fiona is nice and Fiona is rough then Fiona is green. If someone is rough and green then they are nice. If someone is rough then they are kind. If someone is nice and young then they are not rough. All red people are rough. If someone is nice and not round then they are rough.
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is young.
("Dave" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If someone is round and not red then they are young.
((("someone" "is" "round" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "young" "+"))
If someone is young and not red then they are round.
((("someone" "is" "young" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "round" "+"))
If Fiona is nice and Fiona is rough then Fiona is green.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "green" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and young then they are not rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "-"))
All red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and not round then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "rough" "+"))
Erin is rough.
True
1
proof
[(triple7)]
("Erin" "is" "rough" "+")
triple7
Fiona is not round.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "round" "-")
triple10
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is not nice.[(triple3)] Dave is not rough.[(triple4)] Dave is young.[(triple5)] Erin is green.[(triple6)] Erin is rough.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is round.[(triple10)] @1: Erin is kind.[(((triple7) -> rule5))] Erin is nice.[(((triple7 triple6) -> rule4))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is not nice.
("Dave" "is" "nice" "-")
triple3
Dave is not rough.
("Dave" "is" "rough" "-")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Erin is kind.
("Erin" "is" "kind" "+")
((triple7) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple7 triple6) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1