Anne is cold. Anne is young. Dave is cold. Dave is furry. Dave is rough. Dave is white. Dave is young. Erin is young. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is young. All furry people are green. Furry, white people are quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Furry, white people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is young.
True
1
proof
[(triple12)]
("Fiona" "is" "young" "+")
triple12
Erin is not young.
False
1
inv-proof
[(triple8)]
("Erin" "is" "young" "-")
triple8
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is young.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is rough.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Erin is young.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Fiona is young.[(triple12)] @1: Dave is green.[(((triple4) -> rule1))] Dave is quiet.[(((triple4 triple6) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Dave is green.
("Dave" "is" "green" "+")
((triple4) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple4 triple6) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1