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