Anne is blue. Anne is quiet. Dave is nice. Dave is quiet. Dave is round. Harry is blue. Harry is green. Harry is nice. Harry is quiet. Harry is rough. All round, nice people are furry. All quiet people are round.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All round, nice people are furry.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
All quiet people are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
Harry is rough.
True
1
proof
[(triple10)]
("Harry" "is" "rough" "+")
triple10
Harry is not green.
False
1
inv-proof
[(triple7)]
("Harry" "is" "green" "-")
triple7
Anne is round.
True
2
proof
[(((triple2) -> rule2))]
("Anne" "is" "round" "+")
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Dave is not furry.
False
3
inv-proof
[(((triple5 triple3) -> rule1) OR ((((triple4) -> rule2) triple3) -> rule1))]
("Dave" "is" "furry" "-")
((triple5 triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple4) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Harry is furry.
True
4
proof
[(((((triple9) -> rule2) triple8) -> rule1))]
("Harry" "is" "furry" "+")
((((triple9) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not furry.
False
4
inv-proof
[(((((triple9) -> rule2) triple8) -> rule1))]
("Harry" "is" "furry" "-")
((((triple9) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "furry" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is round.[(triple5 OR ((triple4) -> rule2))] Harry is blue.[(triple6)] Harry is green.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] @1: Anne is round.[(((triple2) -> rule2))] Dave is furry.[(((triple5 triple3) -> rule1) OR ((((triple4) -> rule2) triple3) -> rule1))] Harry is round.[(((triple9) -> rule2))] @2: Harry is furry.[(((((triple9) -> rule2) triple8) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
((triple4) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Anne is round.
("Anne" "is" "round" "+")
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple5 triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple4) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple9) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((((triple9) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2