Bob is big. Bob is blue. Bob is nice. Bob is red. Bob is not rough. Bob is round. Bob is white. If Bob is red then Bob is white. Nice, white people are round. If Bob is not nice then Bob is big. Nice, round people are blue. If someone is red and white then they are blue. If someone is round and rough then they are blue. If Bob is rough then Bob is not round. If Bob is not white then Bob is rough.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
If Bob is red then Bob is white.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "white" "+"))
Nice, white people are round.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If Bob is not nice then Bob is big.
((("Bob" "is" "nice" "~")) -> ("Bob" "is" "big" "+"))
Nice, round people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and white then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and rough then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If Bob is rough then Bob is not round.
((("Bob" "is" "rough" "+")) -> ("Bob" "is" "round" "-"))
If Bob is not white then Bob is rough.
((("Bob" "is" "white" "~")) -> ("Bob" "is" "rough" "+"))
Bob is red.
True
1
proof
[(triple4)]
("Bob" "is" "red" "+")
triple4
Bob is not nice.
False
1
inv-proof
[(triple3)]
("Bob" "is" "nice" "-")
triple3
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple3 triple6) -> rule4) OR ((triple4 triple7) -> rule5) OR ((triple3 ((triple3 triple7) -> rule2)) -> rule4) OR ((triple4 ((triple4) -> rule1)) -> rule5) OR ((triple3 ((triple3 ((triple4) -> rule1)) -> rule2)) -> rule4))] Bob is nice.[(triple3)] Bob is not rough.[(triple5)] Bob is red.[(triple4)] Bob is round.[(triple6 OR ((triple3 triple7) -> rule2) OR ((triple3 ((triple4) -> rule1)) -> rule2))] Bob is white.[(triple7 OR ((triple4) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple3 triple6) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple4 triple7) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple3 ((triple3 triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((triple4 ((triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple3 ((triple3 ((triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is not rough.
("Bob" "is" "rough" "-")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple6
((triple3 triple7) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple3 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
triple7
((triple4) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1