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