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