Anne is red. Bob is big. Bob is kind. Bob is smart. Erin is kind. Erin is young. Harry is rough. Rough things are smart.
Anne is red.
("Anne" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Rough things are smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Bob is big.
True
1
proof
[(triple2)]
("Bob" "is" "big" "+")
triple2
Erin is not kind.
False
1
inv-proof
[(triple5)]
("Erin" "is" "kind" "-")
triple5
Harry is smart.
True
2
proof
[(((triple7) -> rule1))]
("Harry" "is" "smart" "+")
((triple7) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not smart.
False
2
inv-proof
[(((triple7) -> rule1))]
("Harry" "is" "smart" "-")
((triple7) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "smart" "-")
Erin is smart.
Unknown
rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "smart" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is red.[(triple1)] Bob is big.[(triple2)] Bob is kind.[(triple3)] Bob is smart.[(triple4)] Erin is kind.[(triple5)] Erin is young.[(triple6)] Harry is rough.[(triple7)] @1: Harry is smart.[(((triple7) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is smart.
("Harry" "is" "smart" "+")
((triple7) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1