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