Bob is smart. If someone is red and white then they are kind. If someone is young and cold then they are red. Red people are white. Cold people are kind. If someone is white then they are big. White, big people are young. If Bob is smart then Bob is red. Young people are kind.
Bob is smart.
("Bob" "is" "smart" "+")
If someone is red and white then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is white then they are big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
White, big people are young.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If Bob is smart then Bob is red.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "red" "+"))
Young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Bob is smart.
True
1
proof
[(triple1)]
("Bob" "is" "smart" "+")
triple1
Bob is not smart.
False
1
inv-proof
[(triple1)]
("Bob" "is" "smart" "-")
triple1
Bob is red.
True
2
proof
[(((triple1) -> rule7))]
("Bob" "is" "red" "+")
((triple1) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple1) -> rule7))]
("Bob" "is" "red" "-")
((triple1) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
True
3
proof
[(((((triple1) -> rule7)) -> rule3))]
("Bob" "is" "white" "+")
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not white.
False
3
inv-proof
[(((((triple1) -> rule7)) -> rule3))]
("Bob" "is" "white" "-")
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
@0: Bob is smart.[(triple1)] @1: Bob is red.[(((triple1) -> rule7))] @2: Bob is white.[(((((triple1) -> rule7)) -> rule3))] @3: Bob is big.[(((((((triple1) -> rule7)) -> rule3)) -> rule5))] Bob is kind.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple1) -> rule7)) -> rule3) ((((((triple1) -> rule7)) -> rule3)) -> rule5)) -> rule6)) -> rule8))] @4: Bob is young.[(((((((triple1) -> rule7)) -> rule3) ((((((triple1) -> rule7)) -> rule3)) -> rule5)) -> rule6))]
Bob is smart.
("Bob" "is" "smart" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
((((triple1) -> (rule7 % int3)) ((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((((triple1) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple1) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
((((((triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple1) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4