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