Bob is not cold. Bob is furry. Fiona is furry. Gary is green. Gary is kind. Harry is blue. Harry is cold. All kind people are not cold. All smart, furry people are cold. White people are smart. Kind, cold people are not furry. If someone is blue then they are green. If someone is furry and white then they are green. If someone is furry and green then they are white. All cold people are white.
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
All kind people are not cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "-"))
All smart, furry people are cold.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
White people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
Kind, cold people are not furry.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "-"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is furry and white then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If someone is furry and green then they are white.
((("someone" "is" "furry" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
All cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
Gary is green.
True
1
proof
[(triple4)]
("Gary" "is" "green" "+")
triple4
Bob is not furry.
False
1
inv-proof
[(triple2)]
("Bob" "is" "furry" "-")
triple2
Harry is green.
True
2
proof
[(((triple6) -> rule5))]
("Harry" "is" "green" "+")
((triple6) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Gary is cold.
False
2
inv-proof
[(((triple5) -> rule1))]
("Gary" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Harry is smart.
True
3
proof
[(((((triple7) -> rule8)) -> rule3))]
("Harry" "is" "smart" "+")
((((triple7) -> (rule8 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is not smart.
False
3
inv-proof
[(((((triple7) -> rule8)) -> rule3))]
("Harry" "is" "smart" "-")
((((triple7) -> (rule8 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Bob is not smart.
Unknown
inv-rconc
[@4: Bob is smart.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule6 <- rule8 <- FAIL)]]
("Bob" "is" "smart" "-")
Fiona is cold.
Unknown
rconc
[@5: Fiona is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule7 <- rule6 <- rule8 <- FAIL)]]
("Fiona" "is" "cold" "+")
Bob is not green.
Unknown
inv-rconc
[@3: Bob is green.[CWA. Example of deepest failure = (rule6 <- rule7 <- rule5 <- FAIL)]]
("Bob" "is" "green" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Bob is furry.[(triple2)] Bob is not cold.[(triple1)] Fiona is furry.[(triple3)] Gary is green.[(triple4)] Gary is kind.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7)] @1: Gary is not cold.[(((triple5) -> rule1))] Harry is green.[(((triple6) -> rule5))] Harry is white.[(((triple7) -> rule8))] @2: Harry is smart.[(((((triple7) -> rule8)) -> rule3))]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not cold.
("Bob" "is" "cold" "-")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Gary is not cold.
("Gary" "is" "cold" "-")
((triple5) -> (rule1 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple6) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple7) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((((triple7) -> (rule8 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2