Anne is not rough. Charlie is red. Dave is young. Fiona is not cold. All young people are green. All red, young people are furry.
Anne is not rough.
("Anne" "is" "rough" "-")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
All young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
All red, young people are furry.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Anne is not rough.
True
1
proof
[(triple1)]
("Anne" "is" "rough" "-")
triple1
Fiona is cold.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "cold" "+")
triple4
Dave is green.
True
2
proof
[(((triple3) -> rule1))]
("Dave" "is" "green" "+")
((triple3) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
2
inv-proof
[(((triple3) -> rule1))]
("Dave" "is" "green" "-")
((triple3) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "furry" "-")
Anne is furry.
Unknown
rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "furry" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is not rough.[(triple1)] Charlie is red.[(triple2)] Dave is young.[(triple3)] Fiona is not cold.[(triple4)] @1: Dave is green.[(((triple3) -> rule1))]
Anne is not rough.
("Anne" "is" "rough" "-")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple4
Dave is green.
("Dave" "is" "green" "+")
((triple3) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1