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