Anne is blue. Anne is cold. Anne is not quiet. Anne is young. Bob is cold. Bob is quiet. Bob is smart. Bob is young. Gary is blue. Gary is not cold. Gary is kind. Gary is rough. Gary is smart. Gary is not young. Harry is cold. Harry is rough. If something is young and blue then it is smart. If Gary is not smart then Gary is quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is young.
("Anne" "is" "young" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not young.
("Gary" "is" "young" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If something is young and blue then it is smart.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If Gary is not smart then Gary is quiet.
((("Gary" "is" "smart" "~")) -> ("Gary" "is" "quiet" "+"))
Gary is not young.
True
1
proof
[(triple14)]
("Gary" "is" "young" "-")
triple14
Gary is not blue.
False
1
inv-proof
[(triple9)]
("Gary" "is" "blue" "-")
triple9
Anne is smart.
True
3
proof
[(((triple4 triple1) -> rule1))]
("Anne" "is" "smart" "+")
((triple4 triple1) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is not smart.
False
3
inv-proof
[(((triple4 triple1) -> rule1))]
("Anne" "is" "smart" "-")
((triple4 triple1) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "quiet" "-")
Harry is smart.
Unknown
rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "smart" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is not quiet.[(triple3)] Anne is young.[(triple4)] Bob is cold.[(triple5)] Bob is quiet.[(triple6)] Bob is smart.[(triple7)] Bob is young.[(triple8)] Gary is blue.[(triple9)] Gary is kind.[(triple11)] Gary is not cold.[(triple10)] Gary is not young.[(triple14)] Gary is rough.[(triple12)] Gary is smart.[(triple13)] Harry is cold.[(triple15)] Harry is rough.[(triple16)] @1: Anne is smart.[(((triple4 triple1) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is not cold.
("Gary" "is" "cold" "-")
triple10
Gary is not young.
("Gary" "is" "young" "-")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Gary is smart.
("Gary" "is" "smart" "+")
triple13
Harry is cold.
("Harry" "is" "cold" "+")
triple15
Harry is rough.
("Harry" "is" "rough" "+")
triple16
Anne is smart.
("Anne" "is" "smart" "+")
((triple4 triple1) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1