Bob is not blue. Bob is furry. Bob is not green. Bob is white. Charlie is not blue. Charlie is not green. Charlie is kind. Charlie is not smart. Erin is big. Erin is not blue. Erin is not furry. Erin is smart. Gary is big. Gary is green. Gary is kind. Gary is smart. Furry, smart people are not white. If Gary is smart then Gary is blue. All blue, smart people are furry.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is white.
("Bob" "is" "white" "+")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Furry, smart people are not white.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "-"))
If Gary is smart then Gary is blue.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "blue" "+"))
All blue, smart people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Charlie is not blue.
True
1
proof
[(triple5)]
("Charlie" "is" "blue" "-")
triple5
Charlie is green.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "green" "+")
triple6
Gary is blue.
True
2
proof
[(((triple16) -> rule2))]
("Gary" "is" "blue" "+")
((triple16) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple16) -> rule2))]
("Gary" "is" "blue" "-")
((triple16) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
True
4
proof
[(((((triple16) -> rule2) triple16) -> rule3))]
("Gary" "is" "furry" "+")
((((triple16) -> (rule2 % int2)) triple16) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not furry.
False
4
inv-proof
[(((((triple16) -> rule2) triple16) -> rule3))]
("Gary" "is" "furry" "-")
((((triple16) -> (rule2 % int2)) triple16) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not white.
True
6
proof
[(((((((triple16) -> rule2) triple16) -> rule3) triple16) -> rule1))]
("Gary" "is" "white" "-")
((((((triple16) -> (rule2 % int3)) triple16) -> (rule3 % int2)) triple16) -> (rule1 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is white.
False
6
inv-proof
[(((((((triple16) -> rule2) triple16) -> rule3) triple16) -> rule1))]
("Gary" "is" "white" "+")
((((((triple16) -> (rule2 % int3)) triple16) -> (rule3 % int2)) triple16) -> (rule1 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "furry" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is furry.[(triple2)] Bob is not blue.[(triple1)] Bob is not green.[(triple3)] Bob is white.[(triple4)] Charlie is kind.[(triple7)] Charlie is not blue.[(triple5)] Charlie is not green.[(triple6)] Charlie is not smart.[(triple8)] Erin is big.[(triple9)] Erin is not blue.[(triple10)] Erin is not furry.[(triple11)] Erin is smart.[(triple12)] Gary is big.[(triple13)] Gary is green.[(triple14)] Gary is kind.[(triple15)] Gary is smart.[(triple16)] @1: Gary is blue.[(((triple16) -> rule2))] @2: Gary is furry.[(((((triple16) -> rule2) triple16) -> rule3))] @3: Gary is not white.[(((((((triple16) -> rule2) triple16) -> rule3) triple16) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not green.
("Bob" "is" "green" "-")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple5
Charlie is not green.
("Charlie" "is" "green" "-")
triple6
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple9
Erin is not blue.
("Erin" "is" "blue" "-")
triple10
Erin is not furry.
("Erin" "is" "furry" "-")
triple11
Erin is smart.
("Erin" "is" "smart" "+")
triple12
Gary is big.
("Gary" "is" "big" "+")
triple13
Gary is green.
("Gary" "is" "green" "+")
triple14
Gary is kind.
("Gary" "is" "kind" "+")
triple15
Gary is smart.
("Gary" "is" "smart" "+")
triple16
Gary is blue.
("Gary" "is" "blue" "+")
((triple16) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((((triple16) -> (rule2 % int2)) triple16) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not white.
("Gary" "is" "white" "-")
((((((triple16) -> (rule2 % int3)) triple16) -> (rule3 % int2)) triple16) -> (rule1 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3