Anne is not blue. Bob is blue. Bob is not furry. Bob is kind. Bob is rough. Bob is young. Charlie is blue. Charlie is furry. Charlie is young. Dave is furry. Dave is not smart. Dave is young. If something is smart then it is not rough. All furry, blue things are smart. If something is kind and not rough then it is young.
Anne is not blue.
("Anne" "is" "blue" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is young.
("Dave" "is" "young" "+")
If something is smart then it is not rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "-"))
All furry, blue things are smart.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If something is kind and not rough then it is young.
((("something" "is" "kind" "+") ("something" "is" "rough" "~")) -> ("something" "is" "young" "+"))
Bob is blue.
True
1
proof
[(triple2)]
("Bob" "is" "blue" "+")
triple2
Bob is not kind.
False
1
inv-proof
[(triple4)]
("Bob" "is" "kind" "-")
triple4
Charlie is smart.
True
3
proof
[(((triple8 triple7) -> rule2))]
("Charlie" "is" "smart" "+")
((triple8 triple7) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is not smart.
False
3
inv-proof
[(((triple8 triple7) -> rule2))]
("Charlie" "is" "smart" "-")
((triple8 triple7) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is not rough.
True
4
proof
[(((((triple8 triple7) -> rule2)) -> rule1))]
("Charlie" "is" "rough" "-")
((((triple8 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
False
4
inv-proof
[(((((triple8 triple7) -> rule2)) -> rule1))]
("Charlie" "is" "rough" "+")
((((triple8 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is young.
Unknown
rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "young" "+")
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "smart" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Anne is not blue.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple4)] Bob is not furry.[(triple3)] Bob is rough.[(triple5)] Bob is young.[(triple6)] Charlie is blue.[(triple7)] Charlie is furry.[(triple8)] Charlie is young.[(triple9)] Dave is furry.[(triple10)] Dave is not smart.[(triple11)] Dave is young.[(triple12)] @1: Charlie is smart.[(((triple8 triple7) -> rule2))] @2: Charlie is not rough.[(((((triple8 triple7) -> rule2)) -> rule1))]
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is not furry.
("Bob" "is" "furry" "-")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is furry.
("Charlie" "is" "furry" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Dave is furry.
("Dave" "is" "furry" "+")
triple10
Dave is not smart.
("Dave" "is" "smart" "-")
triple11
Dave is young.
("Dave" "is" "young" "+")
triple12
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple8 triple7) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is not rough.
("Charlie" "is" "rough" "-")
((((triple8 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2