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