Anne is cold. Anne is green. Anne is kind. Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is red. Bob is white. Harry is green. Harry is white. Harry is young. All big, kind things are young. If something is green and red then it is cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All big, kind things are young.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is green and red then it is cold.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Harry is white.
True
1
proof
[(triple11)]
("Harry" "is" "white" "+")
triple11
Anne is not kind.
False
1
inv-proof
[(triple3)]
("Anne" "is" "kind" "-")
triple3
Bob is young.
True
3
proof
[(((triple4 triple7) -> rule1))]
("Bob" "is" "young" "+")
((triple4 triple7) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple4 triple7) -> rule1))]
("Bob" "is" "young" "-")
((triple4 triple7) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "cold" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Bob is big.[(triple4)] Bob is cold.[(triple5 OR ((triple6 triple8) -> rule2))] Bob is green.[(triple6)] Bob is kind.[(triple7)] Bob is red.[(triple8)] Bob is white.[(triple9)] Harry is green.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Bob is young.[(((triple4 triple7) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
((triple6 triple8) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Bob is young.
("Bob" "is" "young" "+")
((triple4 triple7) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1