Anne is furry. Anne is white. Anne is young. Dave is big. Dave is furry. Dave is nice. Dave is white. Fiona is nice. Fiona is red. Fiona is young. All nice, furry things are big. Young things are furry.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All nice, furry things are big.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Fiona is young.
True
1
proof
[(triple10)]
("Fiona" "is" "young" "+")
triple10
Fiona is not nice.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "nice" "-")
triple8
Fiona is furry.
True
2
proof
[(((triple10) -> rule2))]
("Fiona" "is" "furry" "+")
((triple10) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple10) -> rule2))]
("Fiona" "is" "furry" "-")
((triple10) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
True
4
proof
[(((triple8 ((triple10) -> rule2)) -> rule1))]
("Fiona" "is" "big" "+")
((triple8 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not big.
False
4
inv-proof
[(((triple8 ((triple10) -> rule2)) -> rule1))]
("Fiona" "is" "big" "-")
((triple8 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "big" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is furry.[(triple1 OR ((triple3) -> rule2))] Anne is white.[(triple2)] Anne is young.[(triple3)] Dave is big.[(triple4 OR ((triple6 triple5) -> rule1))] Dave is furry.[(triple5)] Dave is nice.[(triple6)] Dave is white.[(triple7)] Fiona is nice.[(triple8)] Fiona is red.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is furry.[(((triple10) -> rule2))] @2: Fiona is big.[(((triple8 ((triple10) -> rule2)) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple3) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
((triple6 triple5) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple10) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple8 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2