Anne is furry. Anne is nice. Anne is quiet. Anne is round. Dave is not furry. Dave is green. Dave is young. Fiona is furry. Fiona is nice. Fiona is white. Harry is furry. Harry is green. Harry is not nice. Harry is quiet. Harry is round. If someone is green then they are white. If someone is white then they are quiet.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is green.
("Dave" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is green then they are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If someone is white then they are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Dave is young.
True
1
proof
[(triple7)]
("Dave" "is" "young" "+")
triple7
Dave is furry.
False
1
inv-proof
[(triple5)]
("Dave" "is" "furry" "+")
triple5
Harry is white.
True
2
proof
[(((triple12) -> rule1))]
("Harry" "is" "white" "+")
((triple12) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple10) -> rule2))]
("Fiona" "is" "quiet" "-")
((triple10) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Dave is quiet.
True
3
proof
[(((((triple6) -> rule1)) -> rule2))]
("Dave" "is" "quiet" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not quiet.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule2))]
("Dave" "is" "quiet" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Dave is green.[(triple6)] Dave is not furry.[(triple5)] Dave is young.[(triple7)] Fiona is furry.[(triple8)] Fiona is nice.[(triple9)] Fiona is white.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is not nice.[(triple13)] Harry is quiet.[(triple14 OR ((((triple12) -> rule1)) -> rule2))] Harry is round.[(triple15)] @1: Dave is white.[(((triple6) -> rule1))] Fiona is quiet.[(((triple10) -> rule2))] Harry is white.[(((triple12) -> rule1))] @2: Dave is quiet.[(((((triple6) -> rule1)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is not furry.
("Dave" "is" "furry" "-")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is not nice.
("Harry" "is" "nice" "-")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple15
Dave is white.
("Dave" "is" "white" "+")
((triple6) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple10) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple12) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2