Charlie is blue. Charlie is green. Charlie is smart. Charlie is young. Fiona is blue. Fiona is nice. Fiona is young. Nice, white people are blue. All blue people are young. All smart, rough people are nice. If someone is green and white then they are rough. If someone is blue then they are white. If Fiona is rough then Fiona is smart. All white people are green. Nice people are green.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Nice, white people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
All blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
All smart, rough people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and white then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If Fiona is rough then Fiona is smart.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "smart" "+"))
All white people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Nice people are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Charlie is green.
True
1
proof
[(triple2 OR ((((triple1) -> rule5)) -> rule7))]
("Charlie" "is" "green" "+")
triple2
((((triple1) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is not green.
False
1
inv-proof
[(triple2 OR ((((triple1) -> rule5)) -> rule7))]
("Charlie" "is" "green" "-")
triple2
((((triple1) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Fiona is green.
True
2
proof
[(((triple6) -> rule8) OR ((((triple5) -> rule5)) -> rule7))]
("Fiona" "is" "green" "+")
((triple6) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not green.
False
2
inv-proof
[(((triple6) -> rule8) OR ((((triple5) -> rule5)) -> rule7))]
("Fiona" "is" "green" "-")
((triple6) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2 OR ((((triple1) -> rule5)) -> rule7))] Charlie is smart.[(triple3)] Charlie is young.[(triple4 OR ((triple1) -> rule2))] Fiona is blue.[(triple5)] Fiona is nice.[(triple6 OR ((((((((((triple5) -> rule5)) -> rule7) ((triple5) -> rule5)) -> rule4)) -> rule6) ((((((triple5) -> rule5)) -> rule7) ((triple5) -> rule5)) -> rule4)) -> rule3))] Fiona is young.[(triple7 OR ((triple5) -> rule2))] @1: Charlie is white.[(((triple1) -> rule5))] Fiona is green.[(((triple6) -> rule8) OR ((((triple5) -> rule5)) -> rule7))] Fiona is white.[(((triple5) -> rule5))] @2: Charlie is rough.[(((triple2 ((triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule5)) -> rule7) ((triple1) -> rule5)) -> rule4))] Fiona is rough.[(((((triple6) -> rule8) ((triple5) -> rule5)) -> rule4) OR ((((((triple5) -> rule5)) -> rule7) ((triple5) -> rule5)) -> rule4))] @3: Charlie is nice.[(((triple3 ((triple2 ((triple1) -> rule5)) -> rule4)) -> rule3) OR ((triple3 ((((((triple1) -> rule5)) -> rule7) ((triple1) -> rule5)) -> rule4)) -> rule3))] Fiona is smart.[(((((((triple6) -> rule8) ((triple5) -> rule5)) -> rule4)) -> rule6) OR ((((((((triple5) -> rule5)) -> rule7) ((triple5) -> rule5)) -> rule4)) -> rule6))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
((((triple1) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
((triple1) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
((((((((((triple5) -> (rule5 % int5))) -> (rule7 % int4)) ((triple5) -> (rule5 % int5))) -> (rule4 % int3))) -> (rule6 % int2)) ((((((triple5) -> (rule5 % int5))) -> (rule7 % int4)) ((triple5) -> (rule5 % int5))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is young.
("Fiona" "is" "young" "+")
triple7
((triple5) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple1) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple6) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((triple5) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2 ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule7 % int2)) ((triple1) -> (rule5 % int3))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple6) -> (rule8 % int3)) ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2)) ((triple5) -> (rule5 % int3))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3 ((triple2 ((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple3 ((((((triple1) -> (rule5 % int4))) -> (rule7 % int3)) ((triple1) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
((((((triple6) -> (rule8 % int4)) ((triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule7 % int3)) ((triple5) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4