Anne is not furry. Anne is green. Anne is rough. Anne is round. Anne is young. Dave is blue. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is young. Erin is not furry. Erin is green. Fiona is not green. Fiona is rough. Fiona is round. Rough things are young. If something is blue and furry then it is rough.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is green.
("Erin" "is" "green" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something is blue and furry then it is rough.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
Fiona is not green.
True
1
proof
[(triple14)]
("Fiona" "is" "green" "-")
triple14
Dave is not young.
False
1
inv-proof
[(triple11 OR ((triple9) -> rule1))]
("Dave" "is" "young" "-")
triple11
((triple9) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fiona is young.
True
2
proof
[(((triple15) -> rule1))]
("Fiona" "is" "young" "+")
((triple15) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple15) -> rule1))]
("Fiona" "is" "young" "-")
((triple15) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is young.
Unknown
rconc
[@2: Erin is young.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Erin" "is" "young" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is green.[(triple2)] Anne is not furry.[(triple1)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5 OR ((triple3) -> rule1))] Dave is blue.[(triple6)] Dave is green.[(triple7)] Dave is quiet.[(triple8)] Dave is rough.[(triple9)] Dave is round.[(triple10)] Dave is young.[(triple11 OR ((triple9) -> rule1))] Erin is green.[(triple13)] Erin is not furry.[(triple12)] Fiona is not green.[(triple14)] Fiona is rough.[(triple15)] Fiona is round.[(triple16)] @1: Fiona is young.[(((triple15) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
((triple3) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple10
Dave is young.
("Dave" "is" "young" "+")
triple11
((triple9) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple13
Erin is not furry.
("Erin" "is" "furry" "-")
triple12
Fiona is not green.
("Fiona" "is" "green" "-")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Fiona is round.
("Fiona" "is" "round" "+")
triple16
Fiona is young.
("Fiona" "is" "young" "+")
((triple15) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1