Charlie is not big. Charlie is green. Charlie is not young. Green, young people are blue. Nice, green people are round. All green, young people are round. All blue people are nice. If someone is green then they are nice. If Charlie is green and Charlie is round then Charlie is not blue. White people are not big. Green people are not big.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Green, young people are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Nice, green people are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
All green, young people are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
All blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is green then they are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If Charlie is green and Charlie is round then Charlie is not blue.
((("Charlie" "is" "green" "+") ("Charlie" "is" "round" "+")) -> ("Charlie" "is" "blue" "-"))
White people are not big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "-"))
Green people are not big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "-"))
Charlie is green.
True
1
proof
[(triple2)]
("Charlie" "is" "green" "+")
triple2
Charlie is not green.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "green" "-")
triple2
Charlie is nice.
True
2
proof
[(((triple2) -> rule5))]
("Charlie" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
2
inv-proof
[(((triple2) -> rule5))]
("Charlie" "is" "nice" "-")
((triple2) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
True
4
proof
[(((((triple2) -> rule5) triple2) -> rule2))]
("Charlie" "is" "round" "+")
((((triple2) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not round.
False
4
inv-proof
[(((((triple2) -> rule5) triple2) -> rule2))]
("Charlie" "is" "round" "-")
((((triple2) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not blue.
True
6
proof
[(((triple2 ((((triple2) -> rule5) triple2) -> rule2)) -> rule6))]
("Charlie" "is" "blue" "-")
((triple2 ((((triple2) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is blue.
False
6
inv-proof
[(((triple2 ((((triple2) -> rule5) triple2) -> rule2)) -> rule6))]
("Charlie" "is" "blue" "+")
((triple2 ((((triple2) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
@0: Charlie is green.[(triple2)] Charlie is not big.[(triple1 OR ((triple2) -> rule8))] Charlie is not young.[(triple3)] @1: Charlie is nice.[(((triple2) -> rule5))] @2: Charlie is round.[(((((triple2) -> rule5) triple2) -> rule2))] @3: Charlie is not blue.[(((triple2 ((((triple2) -> rule5) triple2) -> rule2)) -> rule6))]
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
((triple2) -> (rule8 % int1))
Charlie is not big.
("Charlie" "is" "big" "-")
int1
Charlie is not young.
("Charlie" "is" "young" "-")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple2) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not blue.
("Charlie" "is" "blue" "-")
((triple2 ((((triple2) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3