Charlie is furry. Charlie is kind. Charlie is red. Charlie is round. Charlie is white. Charlie is young. Harry is round. All white, young people are cold.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
All white, young people are cold.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Charlie is young.
True
1
proof
[(triple6)]
("Charlie" "is" "young" "+")
triple6
Charlie is not red.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "red" "-")
triple3
Charlie is cold.
True
3
proof
[(((triple5 triple6) -> rule1))]
("Charlie" "is" "cold" "+")
((triple5 triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
3
inv-proof
[(((triple5 triple6) -> rule1))]
("Charlie" "is" "cold" "-")
((triple5 triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Harry is round.[(triple7)] @1: Charlie is cold.[(((triple5 triple6) -> rule1))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5 triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1