Anne is nice. Dave is furry. Fiona is rough. Harry is round. Young things are rough. All nice things are young. Furry things are round.
Anne is nice.
("Anne" "is" "nice" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Young things are rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
All nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
Anne is nice.
True
1
proof
[(triple1)]
("Anne" "is" "nice" "+")
triple1
Fiona is not rough.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "rough" "-")
triple3
Anne is young.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "young" "+")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "young" "-")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Harry is not rough.
Unknown
inv-rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is nice.[(triple1)] Dave is furry.[(triple2)] Fiona is rough.[(triple3)] Harry is round.[(triple4)] @1: Anne is young.[(((triple1) -> rule2))] Dave is round.[(((triple2) -> rule3))] @2: Anne is rough.[(((((triple1) -> rule2)) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Harry is round.
("Harry" "is" "round" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple2) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2