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