Anne is quiet. Anne is not smart. Charlie is smart. Charlie is not young. Gary is not blue. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Harry is cold. Harry is not furry. Harry is green. Harry is not quiet. Harry is smart. Harry is young. All blue things are not furry. All smart things are cold.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
All blue things are not furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "-"))
All smart things are cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Harry is not furry.
True
1
proof
[(triple11)]
("Harry" "is" "furry" "-")
triple11
Harry is furry.
False
1
inv-proof
[(triple11)]
("Harry" "is" "furry" "+")
triple11
Charlie is cold.
True
2
proof
[(((triple3) -> rule2))]
("Charlie" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple3) -> rule2))]
("Charlie" "is" "cold" "-")
((triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "cold" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is not smart.[(triple2)] Anne is quiet.[(triple1)] Charlie is not young.[(triple4)] Charlie is smart.[(triple3)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] Gary is green.[(triple8)] Gary is not blue.[(triple5)] Gary is quiet.[(triple9)] Harry is cold.[(triple10 OR ((triple14) -> rule2))] Harry is green.[(triple12)] Harry is not furry.[(triple11)] Harry is not quiet.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple15)] @1: Charlie is cold.[(((triple3) -> rule2))]
Anne is not smart.
("Anne" "is" "smart" "-")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Charlie is not young.
("Charlie" "is" "young" "-")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is not blue.
("Gary" "is" "blue" "-")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
((triple14) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is not furry.
("Harry" "is" "furry" "-")
triple11
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1