Bob is kind. Bob is not round. Erin is not kind. Gary is green. Gary is red. Gary is white. Harry is furry. Harry is green. Harry is kind. Harry is red. All white things are red. If something is green then it is white. Kind things are green.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not round.
("Bob" "is" "round" "-")
Erin is not kind.
("Erin" "is" "kind" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
All white things are red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
If something is green then it is white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Kind things are green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Harry is furry.
True
1
proof
[(triple7)]
("Harry" "is" "furry" "+")
triple7
Bob is not kind.
False
1
inv-proof
[(triple1)]
("Bob" "is" "kind" "-")
triple1
Harry is white.
True
2
proof
[(((triple8) -> rule2) OR ((((triple9) -> rule3)) -> rule2))]
("Harry" "is" "white" "+")
((triple8) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Bob is not green.
False
2
inv-proof
[(((triple1) -> rule3))]
("Bob" "is" "green" "-")
((triple1) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("Bob" "is" "white" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not white.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule2))]
("Bob" "is" "white" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Erin is not red.
Unknown
inv-rconc
[@3: Erin is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule3 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is green.
Unknown
rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "green" "+")
Erin is not white.
Unknown
inv-rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Erin" "is" "white" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Bob is kind.[(triple1)] Bob is not round.[(triple2)] Erin is not kind.[(triple3)] Gary is green.[(triple4)] Gary is red.[(triple5 OR ((triple6) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Gary is white.[(triple6 OR ((triple4) -> rule2))] Harry is furry.[(triple7)] Harry is green.[(triple8 OR ((triple9) -> rule3))] Harry is kind.[(triple9)] Harry is red.[(triple10 OR ((((triple8) -> rule2)) -> rule1) OR ((((((triple9) -> rule3)) -> rule2)) -> rule1))] @1: Bob is green.[(((triple1) -> rule3))] Harry is white.[(((triple8) -> rule2) OR ((((triple9) -> rule3)) -> rule2))] @2: Bob is white.[(((((triple1) -> rule3)) -> rule2))] @3: Bob is red.[(((((((triple1) -> rule3)) -> rule2)) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is not round.
("Bob" "is" "round" "-")
triple2
Erin is not kind.
("Erin" "is" "kind" "-")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
((triple6) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple6
((triple4) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
((triple9) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((((triple9) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple8) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3