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