Bob is blue. Blue people are cold. All smart people are not blue. All blue, red people are white. If someone is kind and not smart then they are nice. If someone is white and not blue then they are not kind. All blue people are kind. If someone is kind then they are red. If Bob is kind then Bob is not nice.
Bob is blue.
("Bob" "is" "blue" "+")
Blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
All smart people are not blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "-"))
All blue, red people are white.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If someone is kind and not smart then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "nice" "+"))
If someone is white and not blue then they are not kind.
((("someone" "is" "white" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "kind" "-"))
All blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If Bob is kind then Bob is not nice.
((("Bob" "is" "kind" "+")) -> ("Bob" "is" "nice" "-"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Bob is not blue.
False
1
inv-proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
Bob is kind.
True
2
proof
[(((triple1) -> rule6))]
("Bob" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not nice.
True
3
proof
[(((((triple1) -> rule6)) -> rule8))]
("Bob" "is" "nice" "-")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Bob is not nice.
("Bob" "is" "nice" "-")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not red.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule7))]
("Bob" "is" "red" "-")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
@0: Bob is blue.[(triple1)] @1: Bob is cold.[(((triple1) -> rule1))] Bob is kind.[(((triple1) -> rule6))] @2: Bob is not nice.[(((((triple1) -> rule6)) -> rule8))] Bob is red.[(((((triple1) -> rule6)) -> rule7))] @3: Bob is white.[(((triple1 ((((triple1) -> rule6)) -> rule7)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not nice.
("Bob" "is" "nice" "-")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Bob is not nice.
("Bob" "is" "nice" "-")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3