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